Refinement-Based Development of Timed Systems

J Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, J Vain

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

8 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationIntegrated Formal Methods
EditorsJ Derrick, S Gnesi, D Latella, H Treharne
PublisherSpringer
Pages69–83
ISBN (Print)978-3-642-30728-7
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods
Duration: 1 Jan 2018 → …

Conference

ConferenceInternational Conference on Integrated Formal Methods
Period01/01/18 → …

Cite this