TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2020 | 2017
Anzahl der Einträge: 3.

2020

Beyer, Dirk ; Lemberger, Thomas ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
Difference Verification with Conditions.
virtual Conference (14.–18.09.)
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.-18.09)
doi: 10.1007/978-3-030-58768-0_7
Konferenzveröffentlichung, Bibliographie

2017

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

Diese Liste wurde am Tue Mar 26 04:21:48 2024 CET generiert.