A maude formalization of object nets

Capra, Lorenzo; Köhler-Bußmeier, Michael

doi:10.1007/978-3-031-36889-9_18

Verlagslink DOI:	10.1007/978-3-031-36889-9_18
Titel:	A maude formalization of object nets
Sprache:	Englisch
Autorenschaft:	Capra, Lorenzo Köhler-Bußmeier, Michael
Herausgeber*In:	Batista, Thais Bureš, Tomáš Raibulet, Claudia Muccini, Henry
Schlagwörter:	Dynamically-reconfigurable systems; Maude; Nets-within-nets
Erscheinungsdatum:	16-Jul-2023
Verlag:	Springer
Buchtitel:	Software Architecture. ECSA 2022 Tracks and Workshops : Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers
Zeitschrift oder Schriftenreihe:	Lecture notes in computer science
Zeitschriftenband:	13928
Anfangsseite:	246
Endseite:	261
Konferenz:	European Conference on Software Architecture 2022
URI:	http://hdl.handle.net/20.500.12738/14002
ISBN:	978-3-031-36888-2 978-3-031-36889-9
ISSN:	0302-9743
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Department Informatik Fakultät Technik und Informatik
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text