Konferenzschrift | Kongress
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540525592
3540525599
9780387525594
0387525599
- Dimensions
-
25 cm
- Extent
-
X, 808 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 430
- Keyword
-
Verteiltes System
Schrittweise Verfeinerung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (who)
-
Springer
- (when)
-
1990
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
14.11.2025, 8:35 AM CET
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.
Object type
- Konferenzschrift
- Kongress
Associated
- Bakker, Jacobus W. de
- REX Workshop (1989 : Mook)
- Springer
Time of origin
- 1990
Other Objects (12)
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
The correctness of a distributed real-time system
Correctness of model-based software composition : proceedings
Distributed Gram-Schmidt orthogonalization with simultaneous elements refinement
A refinement-based development of a distributed signalling system
Political Correctness
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Evaluating distributed real-time and embedded system test correctness using system execution traces
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
The correctness of a distributed real-time system
Correctness of model-based software composition : proceedings
Distributed Gram-Schmidt orthogonalization with simultaneous elements refinement
A refinement-based development of a distributed signalling system
Political Correctness
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Evaluating distributed real-time and embedded system test correctness using system execution traces
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
The correctness of a distributed real-time system
Correctness of model-based software composition : proceedings
Distributed Gram-Schmidt orthogonalization with simultaneous elements refinement
A refinement-based development of a distributed signalling system
Political Correctness
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Evaluating distributed real-time and embedded system test correctness using system execution traces
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992