- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Proceedings of the Second International Symposium on Object-Oriented Real-Time Distributed Computing
In: ISORC, 2. Mai 1999 - 5. Mai 1999, Saint-Malo, France
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-65150
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:03 AM 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
- Leue, Stefan
- Holzmann, Gerard J.
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Validation of remote object invocation and object migration
SpinCause : A Tool for Causality Checking
Simulink Design Verifier vs. SPIN : a comparative case study
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
Directed Explicit Model Checking with HSF-SPIN
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Validation of remote object invocation and object migration
SpinCause : A Tool for Causality Checking
Simulink Design Verifier vs. SPIN : a comparative case study
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
Directed Explicit Model Checking with HSF-SPIN
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Validation of remote object invocation and object migration
SpinCause : A Tool for Causality Checking
Simulink Design Verifier vs. SPIN : a comparative case study
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
Directed Explicit Model Checking with HSF-SPIN
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Real-time object-oriented modeling