modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Optimization modeling and mathematical analysis: reliability analysis
Syed makbul Hussain ; A. Anandaraja Chari2013 年出版148 页ISBN:3659346057
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN:3540090045
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262
A Vector Space Approach To Models And Optimization
C.Nelson Dorny1975 年出版599 页ISBN:
COMPUTER-BASED MODELLING AND OPTIMIZATION IN TRANSPORTATION
JORGE FREITE DE SOUSA2014 年出版490 页ISBN:9783319046297