Articles liés à Modeling and Verification of Real-Time Systems
Synopsis
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 guarantees of temporal correctness.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 197,22
EUR 17,21 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Modeling and Verification of Real-Time Systems
Image d'archives
Modeling and Verification of Real-Time Systems
Edité par
ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-863-168
Quantité disponible : 1 disponible(s)
Image d'archives
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Edité par
Wiley-ISTE, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_332324730
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Modeling and Verification of Real-Time Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5510654-n
Quantité disponible : 9 disponible(s)
Image d'archives
Modeling and Verification of Real-Time Systems
Edité par
John Wiley & Sons, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18399290
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Modeling and Verification of Real-Time Systems
Edité par
Wiley-ISTE, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5510654
Quantité disponible : 9 disponible(s)
Image d'archives
Modeling and Verification of Real-time Systems Format: Hardcover
Edité par
John Wiley and Sons, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Neuf
Couverture rigide
Vendeur : INDOO, Avenel, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 9781848210134
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modeling and Verification of Real-Time Systems
Edité par
Wiley-ISTE, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5510654
Quantité disponible : 9 disponible(s)
Image fournie par le vendeur
Modeling and Verification of Real-time Systems
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testin. N° de réf. du vendeur 597090940
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Modeling and Verification of Real-Time Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5510654-n
Quantité disponible : 9 disponible(s)
Image d'archives
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Edité par
ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10 : 1848210132
ISBN 13 : 9781848210134
Neuf
Couverture rigide
Edition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . N° de réf. du vendeur V9781848210134
Quantité disponible : 15 disponible(s)