franck cassez
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the proceedings of the 12th International Symposium on Automated Technology...
Modeling and Verification of Parallel Processes
EbookSofort lieferbarDaily life relies more and more on safety critical systems, e.g. in areas such as power plant con...
Modeling and Verification of Parallel Processes
TaschenbuchBezug 11-15Daily life relies more and more on safety critical systems, e.g. in areas such as power plant con...
Automated Technology for Verification and Analysis
TaschenbuchBezug 11-15This book constitutes the proceedings of the 12th International Symposium on Automated Technol...
Formal Modeling and Analysis of Timed Systems
TaschenbuchBezug 16-20This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...
- 1