Hochschulschrift
Compositional verification of industrial control systems : methods and case studies
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kiel, Univ., Diss., 2004
- Classification
-
Technische Chemie
- Keyword
-
Chemieanlage
Prozessregelung
Programmierbare Steuerung
Verifikation
Formale Methode
Bedingungs-Ereignis-System
- Creator
-
Lukoschus, Ben
- URN
-
urn:nbn:de:gbv:8-diss-13988
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Lukoschus, Ben
Other Objects (12)
Compositional verification of industrial control systems : methods and case studies
Symbolic methods for formal verification of industrial control software
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Specification and compositional verification of real time systems
Compositional verification of a lock-free stack with RGITL
Compositional design and verification of component-based information systems
An environment for compositional specification verification of complex embedded systems
Logic synthesis for compositional microprogramm control units
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Compositional verification of industrial control systems : methods and case studies
Symbolic methods for formal verification of industrial control software
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Specification and compositional verification of real time systems
Compositional verification of a lock-free stack with RGITL
Compositional design and verification of component-based information systems
An environment for compositional specification verification of complex embedded systems
Logic synthesis for compositional microprogramm control units
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Compositional verification of industrial control systems : methods and case studies
Symbolic methods for formal verification of industrial control software
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Specification and compositional verification of real time systems
Compositional verification of a lock-free stack with RGITL
Compositional design and verification of component-based information systems
An environment for compositional specification verification of complex embedded systems
Logic synthesis for compositional microprogramm control units