Montant total (1 article articles) :
Destination de la commande :
specification modelling verification runtime (20 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (20)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (20)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (8)
- Sans impressions à la demande (13)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,14
Autre deviseEUR 4,60 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 36,05
Autre deviseEUR 10,94 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,13
Autre deviseEUR 17,30 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,71
Autre deviseEUR 17,19 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 88,48
Autre deviseEUR 2,31 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems directly out of synchronous languages. This enables for the first time a bridging between industrial real-time descriptions and formal real-time verification. Timed Kripke structures are introduced as formal models, in order to allow abstractions in real-time systems, without loss of quantitative properties. The ability of modeling non-interruptible processes and atomic timed actions enables also the low-level verification of real-time systems. The new temporal logic JCTL has been developed as a real-time extension of the widely used logic CTL. Overcoming the problems of other real-time logics, JCTL is directly defined on timed Kripke structures and allows the use of established symbolic techniques.In contrast to other approaches, these methods enable the direct generation of a final formal model without parallel composition of single sub-models, avoiding several known problems, like state space explosion, or deadlocks and timelocks. An exact and detailed low-level runtime analysis is introduced, which in combination with the modeling capabilities of timed Kripke structures enables for the first time the low-level verification of real-time systems.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 90,27
Autre deviseEUR 3,44 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 91,72
Autre deviseEUR 3,44 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 95,77
Autre deviseEUR 2,31 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems directly out of synchronous languages. This enables for the first time a bridging between industrial real-time descriptions and formal real-time verification. Timed Kripke structures are introduced as formal models, in order to allow abstractions in real-time systems, without loss of quantitative properties. The ability of modeling non-interruptible processes and atomic timed actions enables also the low-level verification of real-time systems. The new temporal logic JCTL has been developed as a real-time extension of the widely used logic CTL. Overcoming the problems of other real-time logics, JCTL is directly defined on timed Kripke structures and allows the use of established symbolic techniques.In contrast to other approaches, these methods enable the direct generation of a final formal model without parallel composition of single sub-models, avoiding several known problems, like state space explosion, or deadlocks and timelocks. An exact and detailed low-level runtime analysis is introduced, which in combination with the modeling capabilities of timed Kripke structures enables for the first time the low-level verification of real-time systems.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Edité par IOS Press, Incorporated, 2004
ISBN 10 : 1586034138 ISBN 13 : 9781586034139
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,21
Autre deviseEUR 7,74 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 202.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 102,15
Autre deviseEUR 17,30 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 92,65
Autre deviseEUR 28,83 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Like New. Like New. book.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,93
Autre deviseEUR 64,51 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 122,79
Autre deviseEUR 17,19 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,06
Autre deviseEUR 1,07 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,80
Autre deviseEUR 4,91 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,09
Autre deviseEUR 5,55 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 302.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,21
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems directly out of synchronous languages. This enables for the first time a bridging between industrial real-time descriptions and formal real-time verification. Timed Kripke structures are introduced as formal models, in order to allow abstractions in real-time systems, without loss of quantitative properties. The ability of modeling non-interruptible processes and atomic timed actions enables also the low-level verification of real-time systems. The new temporal logic JCTL has been developed as a real-time extension of the widely used logic CTL. Overcoming the problems of other real-time logics, JCTL is directly defined on timed Kripke structures and allows the use of established symbolic techniques. In contrast to other approaches, these methods enable the direct generation of a final formal model without parallel composition of single sub-models, avoiding several known problems, like state space explosion, or deadlocks and timelocks. An exact and detailed low-level runtime analysis is introduced, which in combination with the modeling capabilities of timed Kripke structures enables for the first time the low-level verification of real-time systems.
-
EUR 75,04
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. InhaltsverzeichnisMedical Informatics, Telematics 1 NATO: Life and Behavioural Sciences 3 Cancer 4 Artificial Intelligence 5 Computer Science, Applications 6 NATO: Science and Technology Policy 7 Electronics, Mechanics 8 Physics 9.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Edité par IOS Press, Incorporated, 2004
ISBN 10 : 1586034138 ISBN 13 : 9781586034139
Langue: anglais
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 104,77
Autre deviseEUR 10,21 expédition depuis Royaume-Uni vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 202 25:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on White w/Gloss Lam.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Edité par IOS Press, Incorporated, 2004
ISBN 10 : 1586034138 ISBN 13 : 9781586034139
Langue: anglais
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 107,48
Autre deviseEUR 7,95 expédition depuis Allemagne vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 202.
