| Publisher DOI: | 10.1007/978-3-031-36889-9_18 | Title: | A maude formalization of object nets | Language: | English | Authors: | Capra, Lorenzo Köhler-Bußmeier, Michael  |
Editor: | Batista, Thais Bureš, Tomáš Raibulet, Claudia Muccini, Henry |
Keywords: | Dynamically-reconfigurable systems; Maude; Nets-within-nets | Issue Date: | 16-Jul-2023 | Publisher: | Springer | Book title: | Software Architecture. ECSA 2022 Tracks and Workshops : Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers | Journal or Series Name: | Lecture notes in computer science | Volume: | 13928 | Startpage: | 246 | Endpage: | 261 | Conference: | 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 | Review status: | This version was peer reviewed (peer review) | Institute: | Department Informatik Fakultät Technik und Informatik |
Type: | Chapter/Article (Proceedings) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.