- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Keyword Codes: F.3.2; D.2.1; C.2.4
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Urheber
-
Bredereke, Jan
Gotzhein, Reinhard
Vogt, F. H.
- URN
-
urn:nbn:de:hbz:386-kluedo-2769
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bredereke, Jan
- Gotzhein, Reinhard
- Vogt, F. H.
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
A Formal Syntax and a Formal Semantics for Open Estelle
Semantics and verification of statecharts
Communicating rational agents: semantics and verification
Process theory: semantics, specification and verification
Formal verification of a coordinated atomic action based design
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
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
Communicating rational agents: semantics and verification
Process theory: semantics, specification and verification
Formal verification of a coordinated atomic action based design
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
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
Communicating rational agents: semantics and verification
Process theory: semantics, specification and verification
Formal verification of a coordinated atomic action based design
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
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12