- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Univ., Diss., 1999
- Klassifikation
-
Informatik
- Schlagwort
-
Verteiltes System
Systementwurf
Formale Spezifikationstechnik
Automat
Temporale Logik
- Urheber
- URN
-
urn:nbn:de:swb:90-AAA241998
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:29 MESZ
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
Ähnliche Objekte (12)
Combining specification methods for distributed systems
Object oriented specification of distributed systems
Specification techniques for concurrent and distributed systems
Implicit specification of a distributed system configuration
On the specification of distributed computer control systems
An event based temporal logic specification of distributed systems
A specification language for distributed algorithms
Specification and verification of distributed technical systems with central control
An Integrating Approach for Developing Distributed Software Systems -Combining Formal Methods, Software Reuse, and the Experience Base-
Concepts, syntax and semantics of SEGRAS : a specification language for distributed systems
Specification based testing of real time distributed systems : languages, tools and applications
An efficient runtime system combining dataflow, multithreading, and distributed shared memory
Combining specification methods for distributed systems
Object oriented specification of distributed systems
Specification techniques for concurrent and distributed systems
Implicit specification of a distributed system configuration
On the specification of distributed computer control systems
An event based temporal logic specification of distributed systems
A specification language for distributed algorithms
Specification and verification of distributed technical systems with central control
An Integrating Approach for Developing Distributed Software Systems -Combining Formal Methods, Software Reuse, and the Experience Base-
Concepts, syntax and semantics of SEGRAS : a specification language for distributed systems
Specification based testing of real time distributed systems : languages, tools and applications
An efficient runtime system combining dataflow, multithreading, and distributed shared memory
Combining specification methods for distributed systems
Object oriented specification of distributed systems
Specification techniques for concurrent and distributed systems
Implicit specification of a distributed system configuration
On the specification of distributed computer control systems
An event based temporal logic specification of distributed systems
A specification language for distributed algorithms
Specification and verification of distributed technical systems with central control
An Integrating Approach for Developing Distributed Software Systems -Combining Formal Methods, Software Reuse, and the Experience Base-
Concepts, syntax and semantics of SEGRAS : a specification language for distributed systems
Specification based testing of real time distributed systems : languages, tools and applications