Real-time property preservation in approximations of timed systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

18 Citaten (Scopus)
Originele taal-2Engels
TitelProc. of First ACM&IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2003)
Plaats van productieMont Saint-Michel, France
Pagina's163-171
StatusGepubliceerd - 2003
Evenementconference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26 -
Duur: 24 jun 200326 jun 2003

Congres

Congresconference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26
Periode24/06/0326/06/03
AnderMEMOCODE 2003, Mont Saint-Michel, France

Citeer dit