3 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Klassifikation
Schliessen
Filter

zu den Filteroptionen

Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
Wübbeke, Andreas
2010
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017