Monografie
A mechanized verification environment for real-time process algebras and low-level programming languages
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Diss., 2014
- Identifier
-
1066163103
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Bartels, Björn
- Glesner, Sabine
- Olderog, Ernst-Rüdiger
- Jähnichen, Stefan
Ähnliche Objekte (12)
Feature constraint propagation along configuration links for advanced feature models
Konzepte für die Modellierung und Simulation strukturvariabler Modelle
Automatische Verlinkung von Testfällen und Anforderungen : eine wiederverwendungsorientierte Methode
Extending the Object Teams Programming Model into Distributed Environments
Hybrides Testverfahren für Simulink/TargetLink-Modelle
Optimierte Variantenselektion für einen effizienten E/E-Produktlinientest
Automatische Kalibrierung von Multiprojektorsystemen
Nachhaltige IT-Prozessreferenzmodelle der IT-Governance und des Informationsmanagements : Gestaltungsansätze und Empfehlungen zur Modellierung eines nachhaltigen COBIT 5 Prozessreferenzmodells [[Elektronische Ressource]]
Modularisierung und Wiederverwendung durch generische Klassen in Object Teams
Interaktive Vervollständigung von Szenariospezifikationen
Suchbasierter Strukturtest für Simulink Modelle
CSP as a Coordination Language : a CSP-based Approach to the Coordination of Concurrent Systems [[Elektronische Ressource]]
Feature constraint propagation along configuration links for advanced feature models
Konzepte für die Modellierung und Simulation strukturvariabler Modelle
Automatische Verlinkung von Testfällen und Anforderungen : eine wiederverwendungsorientierte Methode
Extending the Object Teams Programming Model into Distributed Environments
Hybrides Testverfahren für Simulink/TargetLink-Modelle
Optimierte Variantenselektion für einen effizienten E/E-Produktlinientest
Automatische Kalibrierung von Multiprojektorsystemen
Nachhaltige IT-Prozessreferenzmodelle der IT-Governance und des Informationsmanagements : Gestaltungsansätze und Empfehlungen zur Modellierung eines nachhaltigen COBIT 5 Prozessreferenzmodells [[Elektronische Ressource]]
Modularisierung und Wiederverwendung durch generische Klassen in Object Teams
Interaktive Vervollständigung von Szenariospezifikationen
Suchbasierter Strukturtest für Simulink Modelle
CSP as a Coordination Language : a CSP-based Approach to the Coordination of Concurrent Systems [[Elektronische Ressource]]
Feature constraint propagation along configuration links for advanced feature models
Konzepte für die Modellierung und Simulation strukturvariabler Modelle
Automatische Verlinkung von Testfällen und Anforderungen : eine wiederverwendungsorientierte Methode
Extending the Object Teams Programming Model into Distributed Environments
Hybrides Testverfahren für Simulink/TargetLink-Modelle
Optimierte Variantenselektion für einen effizienten E/E-Produktlinientest
Automatische Kalibrierung von Multiprojektorsystemen
Nachhaltige IT-Prozessreferenzmodelle der IT-Governance und des Informationsmanagements : Gestaltungsansätze und Empfehlungen zur Modellierung eines nachhaltigen COBIT 5 Prozessreferenzmodells [[Elektronische Ressource]]
Modularisierung und Wiederverwendung durch generische Klassen in Object Teams
Interaktive Vervollständigung von Szenariospezifikationen
Suchbasierter Strukturtest für Simulink Modelle