Wiley.com
Print this page Share

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

Nicolas Navet (Editor), Stephan Merz (Editor)
ISBN: 978-1-84821-013-4
Hardcover
448 pages
April 2008, Wiley-ISTE
List Price: US $254.75
Government Price: US $175.96
Enter Quantity:   Buy
Modeling and Verification of Real-time Systems: Formalisms and Software Tools (1848210132) cover image

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.

Related Titles

More From This Series

Mechanical Instability
by Tomasz Krysinski, Francois Malburet
Simulation and Modeling of Systems of Systems
by Pascal Cantot (Editor), Dominique Luzeaux (Editor)
Discrete-element Modeling of Granular Materials
by Farhang Radjaï (Editor), Frédéric Dubois (Editor)
Local Networks and the Internet: From Protocols to Interconnection
by Laurent Toutain, Ana Minaburo
Extractive Metallurgy 1: Basic Thermodynamics and Kinetics
by Alain Vignes

Control Systems Technology

Production Scheduling
by Pierre Lopez (Editor), François Roubellat (Editor)
Automatic Control of Bioprocesses
by Denis Dochain (Editor)
Control Methods for Electrical Machines
by Rene Husson (Editor)
Handbook of Heterogenous Kinetics
by Michel Soustelle
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives
by Jean-Philippe Babau (Editor), Mireille Blay-Fornarino (Editor), Joel Champeau (Editor), Sylvain Robert (Editor), Antonino Sabetta (Editor)
Back to Top