- 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
-
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
- 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
Operational semantics and verification of security protocols
Theory of program structures : schemes, semantics, verification
Automatic Fixture Design Based on Formal Knowledge Representation, Design Synthesis and Verification
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12
Formal verification of pipelined microprocessors
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
Operational semantics and verification of security protocols
Theory of program structures : schemes, semantics, verification
Automatic Fixture Design Based on Formal Knowledge Representation, Design Synthesis and Verification
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12
Formal verification of pipelined microprocessors
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
Operational semantics and verification of security protocols
Theory of program structures : schemes, semantics, verification
Automatic Fixture Design Based on Formal Knowledge Representation, Design Synthesis and Verification
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12