Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
Sprache
Inhaltsanbieter
2 Treffer
-
In: Computing and software for big science 3(1), 7 (2019). doi:10.1007/s41781-018-0018-8, 2019academicJournalZugriff:
-
In: Cham : Springer International Publishing, Lecture Notes in Computer Science 9952, 496-514 (2016). doi:10.1007/978-3-319-47166-2_34 ; Leveraging applications of formal methods, verification and validation : 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016KonferenzZugriff: