Liknande böcker

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hu...
Bok av David. Hutchison
Formal Methods and Software Engineering (vol. # 4260) : 8th Internationa...
Bok av Zhiming. Liu
Implementation and Application of Functional Languages
Bok av David. Hutchison
Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th Intern...
Bok av Eugene. Asarin
Formal Modeling and Analysis of Timed Systems
Bok av David. Hutchison
Mathematics of Program Construction : 9th International Conference, MPC...
Bok av David. Hutchison
Automated Technology for Verification and Analysis : 6th International S...
Bok av David. Hutchison
Analytical and Stochastic Modeling Techniques and Applications : 19th In...
Bok av Khalid. Al-Begain

Formal Modeling and Analysis of Timed Systems

Bok av David. Hutchison