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)

Bidragsytere:
  • Joel Ouaknine og
  • Frits Vaandrager

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

Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2009
Hefte: 5813
Antall sider: 291
ISBN: 978-3-642-04367-3

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09)

Bidragsytere

Joel Ouaknine

  • Tilknyttet:
    Redaktør

Frits Vaandrager

  • Tilknyttet:
    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. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 1 av 1