Auflistung nach Autor "Marmsoler, Diego"
Anzeige der Dokumente 1-2 von 2
-
Research Challenges for a Future-Proof E/E Architecture - A Project Statement
Kugele, Stefan; Cebotari, Vadim; Gleirscher, Mario; Hashemi, Morteza; Segler, Christoph; Shafaei, Sina; Vögel, Hans-Jörg; Bauer, Fridolin; Knoll, Alois; Marmsoler, Diego; Michel, Hans-Ulrich
1463-1474 -
Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving
Marmsoler, Diego
167-169