Experiments with parametric verification of real-time systems

RF Lutje Spelberg, RCM de Rooij, WJ Toetenel

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

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings
Editors B Werner
Place of PublicationLos Alamitos
PublisherIEEE
Pages123-131
Number of pages9
ISBN (Print)0-7695-0240-7
Publication statusPublished - 1999
Event11th Euromicro Conference on Real Time Systems, York - Los Alamitos
Duration: 9 Jun 199911 Jun 1999

Publication series

Name
PublisherIEEE Computer Society

Conference

Conference11th Euromicro Conference on Real Time Systems, York
Period9/06/9911/06/99

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this