Fingerprint
Untersuchen Sie die Forschungsthemen von „A Modeling Concept for Formal Verification of OS-Based Compositional Software“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Leandro Batista Ribeiro*, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Carsten Baunach
*Korrespondierende/r Autor/-in für diese Arbeit
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung