Stephan Merz is a researcher at INRIA Lorraine (Nancy,
France). He is interested in formal methods for the analysis and
construction of reliable software systems, in particular temporal
logic, refinement, and the automated and interactive verification
of distributed systems.
Nicolas Navet is a researcher in Real-Time Systems at
INRIA Lorraine (Nancy, France). His research interests include
real-time scheduling, probalistic modeling and computational
intelligence, with applications to automotive embedded systems and
financial engineering.
6 Электронные книги Stephan Merz
Nicolas Navet & Stephan Merz: Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important
concepts and techniques for describing real-time systems and
analyzing their behavior in order to enable the designer to achieve …
PDF
английский
DRM
€215.99
Nicolas Navet & Stephan Merz: Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important
concepts and techniques for describing real-time systems and
analyzing their behavior in order to enable the designer to achieve …
EPUB
английский
DRM
€215.99
Stephan Merz & Jun Pang: Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full …
PDF
английский
DRM
€56.00
Jasmin Christian Blanchette & Stephan Merz: Interactive Theorem Proving
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short …
PDF
английский
DRM
€55.97
Fred Kroger & Stephan Merz: Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, …
PDF
английский
DRM
€82.67
