An approach towards formal verification of object-oriented real-time systems

RCM de Rooij, J van Katwijk

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationRTCSA'99: proceedings
Place of PublicationLos Alamitos
PublisherIEEE
Pages474-483
Number of pages10
ISBN (Print)0-7695-0306-3
Publication statusPublished - 1999
Event6th International Confererence on Real-Time Computing Systems and Applications, Hong Kong - Los Alamitos
Duration: 13 Dec 199915 Dec 1999

Publication series

Name
PublisherIEEE Computer Society

Conference

Conference6th International Confererence on Real-Time Computing Systems and Applications, Hong Kong
Period13/12/9915/12/99

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this