Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Jalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)
OriginalsprogEngelsk
TitelFundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
RedaktørerFarhad Arbab, Marjan Sirjani
Antal sider22
Vol/bindLNCS Volume 8161
UdgivelsesstedTehran, Iran
ForlagSpringer Publishing Company
Publikationsdatoapr. 2013
Sider111-132
ISBN (Trykt)978-3-642-40212-8
ISBN (Elektronisk)978-3-642-40213-5
DOI
StatusUdgivet - apr. 2013
Begivenhed5th IMP International Conference on Fundamentals of Software Engineering - Institute for Research in Fundamental Sciences (IPM), Tehran, Iran
Varighed: 24 apr. 201326 apr. 2013
Konferencens nummer: 5

Konference

Konference5th IMP International Conference on Fundamentals of Software Engineering
Nummer5
LokationInstitute for Research in Fundamental Sciences (IPM)
LandIran
ByTehran
Periode24/04/201326/04/2013
NavnLecture Notes in Computer Science
Vol/bind8161
ISSN0302-9743

Citationsformater