A maude formalization of object nets

Link:
Autor/in:
Verlag/Körperschaft:
Springer
Erscheinungsjahr:
2023
Medientyp:
Text
Schlagworte:
  • Dynamically-reconfigurable systems
  • Maude
  • Nets-within-nets
  • 004: Informatik
  • ddc:004
Beschreibung:
  • PeerReviewed
Quellsystem:
ReposIt
Interne Metadaten
Quelldatensatz
oai:reposit.haw-hamburg.de:20.500.12738/14002