- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Berlin : Universitätsverlag der TU Berlin, 2019, Seiten/Artikel-Nr:173-181
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- DOI
-
10.18154/RWTH-2020-09037
- URN
-
urn:nbn:de:101:1-2021021207355230268866
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 AM CEST
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.
Associated
- Werbrouck, Jeroen
- Senthilvel, Madhumitha
- Beetz, Jakob
- Pauwels, Pieter
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Efficient distributed bounded property checking
A symbolic model checking approach in formal verification of distributed systems
Complexity results for checking distributed implementability
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
A hierarchical approach for building distributed quantum systems
Directed and Distributed Model Checking of B-Specifications
Building and testing a distributed data store in Go
Model checking ASM: the MDG approach
Specifying and model checking distributed control algorithms at meta-level
Materials data science using CRADLE: A distributed, data-centric approach
Data entry checking - is it necessary?
Ontology approach for Building Lifecycle data management
Efficient distributed bounded property checking
A symbolic model checking approach in formal verification of distributed systems
Complexity results for checking distributed implementability
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
A hierarchical approach for building distributed quantum systems
Directed and Distributed Model Checking of B-Specifications
Building and testing a distributed data store in Go
Model checking ASM: the MDG approach
Specifying and model checking distributed control algorithms at meta-level
Materials data science using CRADLE: A distributed, data-centric approach
Data entry checking - is it necessary?
Ontology approach for Building Lifecycle data management
Efficient distributed bounded property checking
A symbolic model checking approach in formal verification of distributed systems
Complexity results for checking distributed implementability
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
A hierarchical approach for building distributed quantum systems
Directed and Distributed Model Checking of B-Specifications
Building and testing a distributed data store in Go
Model checking ASM: the MDG approach
Specifying and model checking distributed control algorithms at meta-level
Materials data science using CRADLE: A distributed, data-centric approach
Data entry checking - is it necessary?