A Unified Model for Analysis of Real-Time Properties.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelPreliminary proc. of the 1st Int. Symposium on Leveraging Applications of Formal Methods.
Plaats van productiePaphos, Cyprus
Pagina's220-227
StatusGepubliceerd - 2004
Evenement1st International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004) - Paphos, Cyprus
Duur: 30 okt 20042 nov 2004
Congresnummer: 1

Congres

Congres1st International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004)
Verkorte titelISoLA 2004
LandCyprus
StadPaphos
Periode30/10/042/11/04
AnderLeveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004

Citeer dit