Daws

释义

[人名] [英格兰人姓氏] 道斯取自父名，来源于Daw,含义是“道之子”(son of Daw)；

Friction stir joining of aluminum alloys
The tool Kronos
The tool Kronos
Comment on “preclinical models: status of basic research in depression”
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Kronos: A model-checking tool for real-time systems
The Tool KRONOS
Model checking of real-time reachability properties using abstractions
Model Checking of Real-Time Reachability Properties Using Abstractions
Reducing the number of clock variables of timed automata