modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199
FINDING METAPHOR IN GRAMMAR AND USAGE A METHODOLOGICAL ANALYSIS OF THEORY AND RESEARCH
GERARD J.STEEN2007 年出版431 页ISBN:9027238979
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262