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 Ebooks door 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 guarant …
PDF
Engels
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 guarant …
EPUB
Engels
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 pa …
PDF
Engels
DRM
€57.66
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 paper …
PDF
Engels
DRM
€57.99
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, th …
PDF
Engels
DRM
€84.74
