Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: International journal on software tools for technology transfer ; 2 (2000), 4. - S. 394-409
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
-
Kamel, Moataz
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-62085
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM 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.
Associated
- Kamel, Moataz
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Methods and semantics for telecommunications systems engineering
Optimization techniques for parallel protocol implementation
QoS Specification Based on SDL/MSC and Temporal Logic
From SDL specifications to optimized parallel protocol implementations
Protocol Verification with Heuristic Search
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Formal methods for broadband and multimedia systems
Validation of remote object invocation and object migration
Implementing and Verifying MSC Specifications Using Promela/XSpin
On Parallelising and Optimising the Implementation of Communication Protocols
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Methods and semantics for telecommunications systems engineering
Optimization techniques for parallel protocol implementation
QoS Specification Based on SDL/MSC and Temporal Logic
From SDL specifications to optimized parallel protocol implementations
Protocol Verification with Heuristic Search
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Formal methods for broadband and multimedia systems
Validation of remote object invocation and object migration
Implementing and Verifying MSC Specifications Using Promela/XSpin
On Parallelising and Optimising the Implementation of Communication Protocols
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
Methods and semantics for telecommunications systems engineering
Optimization techniques for parallel protocol implementation
QoS Specification Based on SDL/MSC and Temporal Logic
From SDL specifications to optimized parallel protocol implementations
Protocol Verification with Heuristic Search
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Formal methods for broadband and multimedia systems
Validation of remote object invocation and object migration
Implementing and Verifying MSC Specifications Using Promela/XSpin