Integrating Refinement-Based Methods for Developing Timed Systems

Jüri Vain, Leonidas Tsiopoulos, Pontus Boström

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

3 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationFrom Action Systems to Distributed Systems: The Refinement Approach
EditorsLuigia Petre, Emil Sekerinski
PublisherCRC Press
Pages171–185
ISBN (Electronic)978-1-4987-0159-4
ISBN (Print)978-1-4987-0158-7
DOIs
Publication statusPublished - 2016
MoE publication typeA3 Part of a book or another research book

Keywords

  • Formal Methods, Real-Time Systems, Refinement

Cite this