Stephan Merz

ספרים שבהם Stephan Merz מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Integrated Formal MethodsDominique Méry

Integrated Formal Methods

Dominique Méry · 2010

Modeling and verification of real-time systemsNicolas Navet

Modeling and verification of real-time systems

Nicolas Navet · 2008

Temporal logic and state systemsFred Kröger

Temporal logic and state systems

Fred Kröger · 2008

Formal systems specificationM. Broy

Formal systems specification

M. Broy · 1996

Interactive Theorem ProvingJasmin Christian Blanchette

Interactive Theorem Proving

Jasmin Christian Blanchette · 2016

Modeling and Verification of Real-Time SystemsNicolas Navet

Modeling and Verification of Real-Time Systems

Nicolas Navet · 2013