Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1686
Sist endret:
27. oktober 2009, 11:29
Resultat
Vitenskapelig antologi/Konferanseserie
2009
The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09)
Joel Ouaknine
og
Frits Vaandrager
Utgiver/serie
Utgiver/serie
Utgiver
Springer
NVI-nivå 1
Finn i kanalregisteret
Serie
Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2009
Hefte: 5813
Antall sider: 291
ISBN: 978-3-642-04367-3
Lenker
Lenker
ORIA
Søk i ORIA med 978-3-642-04367-3
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: IKT
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09)
Bidragsytere
Bidragsytere
Joel Ouaknine
Redaktør
Frits Vaandrager
Redaktør
1
-
2
av
2
Kapitler/Artikler
Kapitler/Artikler
Safe Runtime Verification of Real-Time Properties.
Colombo, Christian; Pace, Gordon; Schneider, Gerardo. 2009, Springer. UIO
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
1
-
1
av
1