Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationRigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
EditorsAlexander Raschke, Dominique Méry, Frank Houdek
PublisherSpringer
Pages
ISBN (Electronic)978-3-030-48077-6
ISBN (Print)978-3-030-48076-9
DOIs
Publication statusPublished - 2020
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Rigorous State-Based Methods - ABZ 2020 – 7th International Conference on Rigorous State Based Methods
Duration: 27 May 202029 May 2020

Conference

ConferenceInternational Conference on Rigorous State-Based Methods
Period27/05/2029/05/20

Keywords

  • Formal verification
  • Model checking

Cite this