| Verlagslink DOI: | 10.1145/3555776.3578617 | Titel: | Maude specification of nets-within-nets : a formal model of adaptable distributed systems | Sprache: | Englisch | Autorenschaft: | Capra, Lorenzo Köhler-Bußmeier, Michael  |
Schlagwörter: | Adaptive Systems; Petri Nets; Maude; Nets-within-Nets | Erscheinungsdatum: | 7-Jun-2023 | Verlag: | Association for Computing Machinery | Teil der Schriftenreihe: | SAC '23 : Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing | Anfangsseite: | 188 | Endseite: | 191 | Konferenz: | Annual ACM Symposium on Applied Computing 2023 | URI: | http://hdl.handle.net/20.500.12738/13867 | ISBN: | 9781450395175 | Begutachtungsstatus: | Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review) | Einrichtung: | Fakultät Technik und Informatik Department Informatik |
Dokumenttyp: | Konferenzveröffentlichung |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.