Robust specification of real time components

Kim Guldstrand Larsen, A. Legay, Louis-Marie Traonouez, Andrzej Wasowski

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

13 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6919 LNCS
Sider (fra-til)129-144
Antal sider16
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed9th International Conference on Formal Modeling and Analysis of Timed Systems - Aalborg , Danmark
Varighed: 21 sep. 201123 sep. 2011

Konference

Konference9th International Conference on Formal Modeling and Analysis of Timed Systems
LandDanmark
ByAalborg
Periode21/09/201123/09/2011

Fingeraftryk Dyk ned i forskningsemnerne om 'Robust specification of real time components'. Sammen danner de et unikt fingeraftryk.

Citationsformater