Refinement-Based Development of Timed Systems

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

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

8 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på gästpublikationIntegrated Formal Methods
RedaktörerJ Derrick, S Gnesi, D Latella, H Treharne
FörlagSpringer
Sidor69–83
ISBN (tryckt)978-3-642-30728-7
DOI
StatusPublicerad - 2012
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods
Varaktighet: 1 jan 2018 → …

Konferens

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

Citera det här