Monografie
CSP as a Coordination Language : a CSP-based Approach to the Coordination of Concurrent Systems [[Elektronische Ressource]]
- Sprache
-
Deutsch
- Anmerkungen
-
Berlin, Technische Universtität Berlin, Diss., 2011
- Identifier
-
101653339X
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
- Kleine, Moritz
- Jähnichen, Stefan
Ähnliche Objekte (12)
Automatische Kalibrierung von Multiprojektorsystemen
Interaktive Vervollständigung von Szenariospezifikationen
Suchbasierter Strukturtest für Simulink Modelle
Modellbasierter evolutionärer Funktionstest
Effizientes Bearbeiten von Simulink-Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus
Extending the Object Teams Programming Model into Distributed Environments
Prozesse der Plausibilitätsbeurteilung am Beispiel ausgewählter elektroakustischer Wiedergabesituationen : ein Beitrag zum Verständnis der "inneren Referenz" perzeptiver Messungen [[Elektronische Ressource]]
Compact semiconductor-based laser sources with narrow linewidth and high output power
Escaping the Tsunami: Evacuation Strategies for Large Urban Areas : Concepts and Implementation of a Multi-Agent Based Approach [[Elektronische Ressource]]
Modular Model Specification on the Documentation Level : Concepts and Application in a Web-Based Modeling Environment
A mechanized verification environment for real-time process algebras and low-level programming languages
Konzepte für die Modellierung und Simulation strukturvariabler Modelle
Automatische Kalibrierung von Multiprojektorsystemen
Interaktive Vervollständigung von Szenariospezifikationen
Suchbasierter Strukturtest für Simulink Modelle
Modellbasierter evolutionärer Funktionstest
Effizientes Bearbeiten von Simulink-Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus
Extending the Object Teams Programming Model into Distributed Environments
Prozesse der Plausibilitätsbeurteilung am Beispiel ausgewählter elektroakustischer Wiedergabesituationen : ein Beitrag zum Verständnis der "inneren Referenz" perzeptiver Messungen [[Elektronische Ressource]]
Compact semiconductor-based laser sources with narrow linewidth and high output power
Escaping the Tsunami: Evacuation Strategies for Large Urban Areas : Concepts and Implementation of a Multi-Agent Based Approach [[Elektronische Ressource]]
Modular Model Specification on the Documentation Level : Concepts and Application in a Web-Based Modeling Environment
A mechanized verification environment for real-time process algebras and low-level programming languages
Konzepte für die Modellierung und Simulation strukturvariabler Modelle
Automatische Kalibrierung von Multiprojektorsystemen
Interaktive Vervollständigung von Szenariospezifikationen
Suchbasierter Strukturtest für Simulink Modelle
Modellbasierter evolutionärer Funktionstest
Effizientes Bearbeiten von Simulink-Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus
Extending the Object Teams Programming Model into Distributed Environments
Prozesse der Plausibilitätsbeurteilung am Beispiel ausgewählter elektroakustischer Wiedergabesituationen : ein Beitrag zum Verständnis der "inneren Referenz" perzeptiver Messungen [[Elektronische Ressource]]
Compact semiconductor-based laser sources with narrow linewidth and high output power
Escaping the Tsunami: Evacuation Strategies for Large Urban Areas : Concepts and Implementation of a Multi-Agent Based Approach [[Elektronische Ressource]]
Modular Model Specification on the Documentation Level : Concepts and Application in a Web-Based Modeling Environment
A mechanized verification environment for real-time process algebras and low-level programming languages