- Standort
-
München, Bayerische Staatsbibliothek -- 4 Z 72.551-44#S.850-891
- Umfang
-
1 Online-Ressource (S. 850 - 891)
- Sprache
-
Englisch
- Anmerkungen
-
In: Journal of the ACM, Vol. 44, No. 6, 1997. - New York, NY : Assoc. for Computing Machinery (ACM)
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, NY
- (wer)
-
Assoc. for Computing Machinery (ACM)
- (wann)
-
1997
- Urheber
- URN
-
urn:nbn:de:bvb:12-bsb00069229-0
- Letzte Aktualisierung
-
16.04.2025, 08:42 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Broy, Manfred
- Assoc. for Computing Machinery (ACM)
Entstanden
- 1997
Ähnliche Objekte (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