- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540761402
3540761403
- Dimensions
-
24 cm
- Extent
-
XIII, 461 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturverz. S. 451 - 454
- Keyword
-
Echtzeitsystem
Prozessalgebra
- Event
-
Veröffentlichung
- (where)
-
London, Berlin, Heidelberg, New York, Barcelona, Hong Kong, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:20 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gray, David
- Springer
Time of origin
- 1999
Other Objects (12)
Formal methods for the design of real time systems : revised lectures
The real time programming language ALDiSP-O : informal introduction and formal semantics
A formal framework for optimizing the design of distributed real-time embedded systems
Formal methods for real-time requirements engineering
Design Time and Run Time Formal Safety Analysis using Executable Models
Formal methods for real time and probabilistic systems : proceedings
Formal verification of a small real-time operating system
Duration calculus : a formal approach to real-time systems
Design aid for real time systems : DARTS
Formal Specifications of Real-Time Requirements for Building Automation Systems
Formal analysis : an introduction
Introduction to formal grammars
Formal methods for the design of real time systems : revised lectures
The real time programming language ALDiSP-O : informal introduction and formal semantics
A formal framework for optimizing the design of distributed real-time embedded systems
Formal methods for real-time requirements engineering
Design Time and Run Time Formal Safety Analysis using Executable Models
Formal methods for real time and probabilistic systems : proceedings
Formal verification of a small real-time operating system
Duration calculus : a formal approach to real-time systems
Design aid for real time systems : DARTS
Formal Specifications of Real-Time Requirements for Building Automation Systems
Formal analysis : an introduction
Introduction to formal grammars
Formal methods for the design of real time systems : revised lectures
The real time programming language ALDiSP-O : informal introduction and formal semantics
A formal framework for optimizing the design of distributed real-time embedded systems
Formal methods for real-time requirements engineering
Design Time and Run Time Formal Safety Analysis using Executable Models
Formal methods for real time and probabilistic systems : proceedings
Formal verification of a small real-time operating system
Duration calculus : a formal approach to real-time systems
Design aid for real time systems : DARTS
Formal Specifications of Real-Time Requirements for Building Automation Systems
Formal analysis : an introduction