- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Ifi technical report series ; [20]09,02
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Clausthal-Zellerfeld
- (wer)
-
TU Clausthal, Institut für Informatik
- (wann)
-
2009
- Urheber
- Beteiligte Personen und Organisationen
-
Institut für Informatik, Technische Universität Clausthal
- URN
-
urn:nbn:de:gbv:104-ifi-09-022
- 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
- Bulling, Nils
- Hindriks, Koen V.
- Institut für Informatik, Technische Universität Clausthal
- TU Clausthal, Institut für Informatik
Entstanden
- 2009
Ähnliche Objekte (12)
Specification-oriented semantics for communicating processes
Refinement-Based Verification of Communicating Unstructured Code
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Theory of program structures : schemes, semantics, verification
Operational semantics and verification of security protocols
Assumption, commitment rules for networks of asynchronously communicating agents
Design of a Formal Estelle Semantics for Verification
An architecture for rational agents
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Specification-oriented semantics for communicating processes
Refinement-Based Verification of Communicating Unstructured Code
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Theory of program structures : schemes, semantics, verification
Operational semantics and verification of security protocols
Assumption, commitment rules for networks of asynchronously communicating agents
Design of a Formal Estelle Semantics for Verification
An architecture for rational agents
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Specification-oriented semantics for communicating processes
Refinement-Based Verification of Communicating Unstructured Code
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Theory of program structures : schemes, semantics, verification
Operational semantics and verification of security protocols
Assumption, commitment rules for networks of asynchronously communicating agents
Design of a Formal Estelle Semantics for Verification
An architecture for rational agents
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings