Produktbild: Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Lecture Notes in Computer Science 558

ISBN:	3540549471
ISBN 13:	9783540549475
Autor:	Hooman, Jozef
Verlag:	Springer Verlag GmbH
Umfang:	x, 242 S.
Erscheinungsdatum:	27.11.1991
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 1431868 Kategorie: Informatik

Beschreibung

Beschreibung

This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Innovative Search and Rescue Systems
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Synchronization in Real-Time Systems:
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Systems Specification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Analyzing Compositional Data with R
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Systems. Design, Specification, and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Verification of Concurrent and Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Development of Interactive Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Basics of Mechanical Ventilation
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Database Systems
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Geometric Product Specification and Verification: Integration of Functionality
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Iranian free trade zones dot the New Silk Road landscape
54,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specifications and Verifications of Transactions in Mobile Environment
79,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Specification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Compositional Data Analysis
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Systems: Design, Specification, and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modular Specification and Verification of Object-Oriented Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Geometric Product Specification and Verification: Integration of Functionality
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design, Specification and Verification of Interactive Systems 96
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Systems: Design, Specification, and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design, Specification and Verification of Interactive Systems 97
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Nanoscale AFM and TEM Observations of Elementary Dislocation Mechanisms
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Presupposition and Implicature in Compositional Semantics
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Distributed Real-Time Systems
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Systems
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Development of Interactive Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Stability Verification of Hybrid Systems
45,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Database Systems
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Applied Photochemistry of Iron Compounds
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Foundations of Real-Time Computing: Formal Specifications and Methods
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Synchronization in Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The parametric optimization of a time delay system
23,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Semi-Compositional Noun + Verb Constructions
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Compositional Data Analysis
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Analysis of Concurrent Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Specification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Eigenthumserwerb Durch Specification
34,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Behavioral Specifications of Businesses and Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Verification of Declarative Open Interaction Models
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
King and Temple in Chronicles
120,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Energy Systems Modeling
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-time Systems
129,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modified Specifications
20,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Image of the Priest in the Awareness of Polish Youth
29,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Translation
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Energy Systems Modeling
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fire Hazards of Electrical Cables
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algebraic Foundations of Systems Specification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification of Software Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Design Methodology for Real-Time Embedded Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design, Specification and Verification of Interactive Systems 99
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering: Specification, Implementation, Verification
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification of Software Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design, Specification and Verification of Interactive Systems 95
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Effect of Crest Width on Discharge Measurement Using Triangular Notch
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mechanical Verification of Parameterized Real-Time Systems
89,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Presupposition and Implicature in Compositional Semantics
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Protocol Specification, Testing and Verification XIV
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Foundations of Real-Time Computing: Formal Specifications and Methods
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design, Specification and Verification of Interactive Systems 98
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Communication Protocol Specification and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Distributed Real-Time Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Database Systems
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification of Autonomous Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tool Support for System Specification, Development and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Systems.Design, Specification, and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems and Software Verification
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification of Reactive Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Data Analysis
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Iranische Freihandelszonen prägen das Bild der Neuen Seidenstraße
54,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Database Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Database Systems
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Applied Compositional Data Analysis
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering: Specification, Implementation, Verification
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Metamorphoses of music and the transformation of musical-pedagogical thinking
45,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Verification of Multi-agent Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
VLSI Specification, Verification and Synthesis
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Interactive Systems.Design, Specification, and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Verification of Multi-agent Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems and Software Verification
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification of Reactive Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Eigenthumserwerb Durch Specification
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sibling-First Data Organization
79,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Data Analysis
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification and Validation of Real-Time Software
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Protocol Specification, Testing and Verification XIV
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Design Methodology for Real-Time Embedded Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Real-Time Systems
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Specification and Verification of Concurrent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Verification of Concurrent and Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Communication Protocol Specification and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Smart Compositional Wrappers
94,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Produktbild: Specification and Compositional Verification of Real-Time Systems

Sie sehen: Specification and Compositional Verification of Real-Time Systems 53,49 €

In den Warenkorb