- Location
-
München, Bayerische Staatsbibliothek -- 4 Z 72.551-44#S.850-891
- Extent
-
1 Online-Ressource (S. 850 - 891)
- Language
-
Englisch
- Notes
-
In: Journal of the ACM, Vol. 44, No. 6, 1997. - New York, NY : Assoc. for Computing Machinery (ACM)
- Event
-
Veröffentlichung
- (where)
-
New York, NY
- (who)
-
Assoc. for Computing Machinery (ACM)
- (when)
-
1997
- Creator
- URN
-
urn:nbn:de:bvb:12-bsb00069229-0
- Last update
-
16.04.2025, 8:42 AM CEST
Data provider
This object is provided by:
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Broy, Manfred
- Assoc. for Computing Machinery (ACM)
Time of origin
- 1997
Other Objects (12)
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Specification and development of interactive systems : focus on streams, interfaces and refinement
Compositional Testing of Communication Systems
Compositional synthesis of reactive systems
Compositional stability verification of hybrid systems
Model checking compositional Markov systems
Analysis of compositional conflicts in component based systems
Compositional analysis of probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Specification and compositional verification of real time systems
Abstraction refinement for pushdown systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Specification and development of interactive systems : focus on streams, interfaces and refinement
Compositional Testing of Communication Systems
Compositional synthesis of reactive systems
Compositional stability verification of hybrid systems
Model checking compositional Markov systems
Analysis of compositional conflicts in component based systems
Compositional analysis of probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Specification and compositional verification of real time systems
Abstraction refinement for pushdown systems
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Specification and development of interactive systems : focus on streams, interfaces and refinement
Compositional Testing of Communication Systems
Compositional synthesis of reactive systems
Compositional stability verification of hybrid systems
Model checking compositional Markov systems
Analysis of compositional conflicts in component based systems
Compositional analysis of probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Specification and compositional verification of real time systems