Fundamental Approaches to Software Engineering: Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL$$^{\star }$$⋆
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Fundamental Approaches to Software Engineering: Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL$$^{\star }$$⋆
Beteiligte:
Dimovski, Aleksandar S.
Erschienen:
Springer International Publishing, 2018
Erschienen in:Fundamental Approaches to Software Engineering