- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Keyword Codes: F.3.2; D.2.1; C.2.4
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
-
Bredereke, Jan
Gotzhein, Reinhard
Vogt, F. H.
- URN
-
urn:nbn:de:hbz:386-kluedo-2769
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 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
- Bredereke, Jan
- Gotzhein, Reinhard
- Vogt, F. H.
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
A Formal Syntax and a Formal Semantics for Open Estelle
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Communicating rational agents: semantics and verification
Formal verification of a coordinated atomic action based design
Formal Semantics of Asbru - V2.12
Formal semantics for iconic gesture
Developing formal semantics of epkml
Theory of program structures : schemes, semantics, verification
Operational semantics and verification of security protocols
Automatic Fixture Design Based on Formal Knowledge Representation, Design Synthesis and Verification
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
A Formal Syntax and a Formal Semantics for Open Estelle
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Communicating rational agents: semantics and verification
Formal verification of a coordinated atomic action based design
Formal Semantics of Asbru - V2.12
Formal semantics for iconic gesture
Developing formal semantics of epkml
Theory of program structures : schemes, semantics, verification
Operational semantics and verification of security protocols
Automatic Fixture Design Based on Formal Knowledge Representation, Design Synthesis and Verification
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
A Formal Syntax and a Formal Semantics for Open Estelle
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Communicating rational agents: semantics and verification
Formal verification of a coordinated atomic action based design
Formal Semantics of Asbru - V2.12
Formal semantics for iconic gesture
Developing formal semantics of epkml
Theory of program structures : schemes, semantics, verification
Operational semantics and verification of security protocols
Automatic Fixture Design Based on Formal Knowledge Representation, Design Synthesis and Verification