Stephan Merzの本 - BookPine

Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Nicolas Navet

Temporal Logic and State Systems

Temporal Logic and State Systems

Fred Kröger

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Dominique Mery

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Nicolas Navet

Practical Applications of Sensors

Practical Applications of Sensors

André Migeon

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy