Model checking real-time embedded software

WJ Toetenel, RF Lutje Spelberg

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

Original languageUndefined/Unknown
Title of host publicationPROGRESS 2000 proceedings
Editors JP Veen
Place of PublicationUtrecht
PublisherSTW Technology Foundation
Pages149-156
Number of pages8
ISBN (Print)90-73461-25-1
Publication statusPublished - 2000
Event1st PROGRESS workshop on embedded Systems, Utrecht - Utrecht
Duration: 13 Oct 200013 Oct 2000

Publication series

Name
PublisherSTW technology foundation

Conference

Conference1st PROGRESS workshop on embedded Systems, Utrecht
Period13/10/0013/10/00

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this