Beyer, Dirk ; Lemberger, Thomas ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
Difference Verification with Conditions.
virtual Conference (14.09.2020-18.09.2020)
doi: 10.1007/978-3-030-58768-0_8
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
FRed: Conditional Model Checking via Reducers and Folders.
virtual Conference (14.09.2020-18.09.2020)
doi: 10.1007/978-3-030-58768-0_7
Konferenzveröffentlichung, Bibliographie

Naily, Moh. Afifun ; Setyautami, Maya Retno Ayu ; Muschevici, Radu ; Azurat, Ade
Hrsg.: Cerone, Antonio ; Roveri, Marco (2017)
A Framework for Modelling Variable Microservices as Software Product Lines.
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers.
doi: 10.1007/978-3-319-74781-1_18
Konferenzveröffentlichung, Bibliographie