Robust Specification of Real Time Components
- Kim Guldstrand Larsen,
- Axel Legay,
- Louis-Marie Traonouez,
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Peer-review
Open Access
Publikation information
Produktionstype
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Peer-reviewUndertitel på værtspublikation
Lecture Notes in Computer ScienceOriginalsprog
Udefineret/UkendtPublikationsmilepæle
- Udgivet - 2011
Publikationsstatus
Udgivet - 2011
Bind
6919Forlag
Springer, USA, TysklandISBN (Trykt)
978-3-642-24310-3_10Publication IDs
- Scopus: 80053323892
Titel på værtspublikation
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. ProceedingsMetrikker
PlumX, åbner i en ny fane
Hentninger
5
Antal citationer
14