Real-time property preservation in approximations of timed systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Citations (Scopus)
Original languageEnglish
Title of host publicationProc. of First ACM&IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2003)
Place of PublicationMont Saint-Michel, France
Pages163-171
Publication statusPublished - 2003
Eventconference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26 -
Duration: 24 Jun 200326 Jun 2003

Conference

Conferenceconference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26
Period24/06/0326/06/03
OtherMEMOCODE 2003, Mont Saint-Michel, France

Cite this