Platform-independent verification of real-time programs

J.J.M. Hooman, O.S. Roosmalen, van

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Parallel and Distributed Real-Time Systems (Proceedings Joint Workshop, Geneva, Switzerland, April 1-3, 1997)
Publisher	IEEE Computer Society
Pages	183-192
ISBN (Print)	0-8186-8096-2
DOIs	https://doi.org/10.1109/WPDRTS.1997.637978
Publication status	Published - 1997

Access to Document

@inproceedings{f444843d3d9841c1ac97bbc66000ece3,

title = "Platform-independent verification of real-time programs",

author = "J.J.M. Hooman and {Roosmalen, van}, O.S.",

year = "1997",

doi = "10.1109/WPDRTS.1997.637978",

language = "English",

isbn = "0-8186-8096-2",

pages = "183--192",

booktitle = "Parallel and Distributed Real-Time Systems (Proceedings Joint Workshop, Geneva, Switzerland, April 1-3, 1997)",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - Platform-independent verification of real-time programs

AU - Hooman, J.J.M.

AU - Roosmalen, van, O.S.

PY - 1997

Y1 - 1997

U2 - 10.1109/WPDRTS.1997.637978

DO - 10.1109/WPDRTS.1997.637978

M3 - Conference contribution

SN - 0-8186-8096-2

SP - 183

EP - 192

BT - Parallel and Distributed Real-Time Systems (Proceedings Joint Workshop, Geneva, Switzerland, April 1-3, 1997)

PB - IEEE Computer Society

ER -