Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

Research output: ResearchArticle in proceeding

Details

Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings : Lecture Notes in Computer Science
EditorsJoseph, M. (ed.)
PublisherIEEE Computer Society Press
Publication date2000
Edition1926
Pages19-30
ISBN (Print)3540410554
StatePublished - 2000
Publication categoryResearch
Peer-reviewedNo
EventScaling up Uppaal -
Duration: 19 May 2010 → …

Conference

ConferenceScaling up Uppaal
Periode19/05/2010 → …
ID: 132819