Adaptation of Open Component-Based Systems

DOI10.1007/978-3-540-72952-5_9zbMath1202.68101OpenAlexW1580761641MaRDI QIDQ5428909

Pascal Poizat, Gwen Salaün

Publication date: 28 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_9

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (2)

Automated verification of automata communicating via FIFO and bag buffers ⋮ Structural reconfiguration of systems under behavioral adaptation

Uses Software

• TINA

Cites Work

• Temporal Verification of Reactive Systems: Response
• Branching time and abstraction in bisimulation semantics
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Adaptation of Open Component-Based Systems