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 volume › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	Undefined/Unknown
Title of host publication	RTCSA'99: proceedings
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	474-483
Number of pages	10
ISBN (Print)	0-7695-0306-3
Publication status	Published - 1999
Event	6th International Confererence on Real-Time Computing Systems and Applications, Hong Kong - Los Alamitos Duration: 13 Dec 1999 → 15 Dec 1999

Name
Publisher	IEEE Computer Society

Conference	6th International Confererence on Real-Time Computing Systems and Applications, Hong Kong
Period	13/12/99 → 15/12/99

Keywords

@inproceedings{8d875c1e34374a9a93990a708aed63cc,

title = "An approach towards formal verification of object-oriented real-time systems",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "{de Rooij}, RCM and {van Katwijk}, J",

year = "1999",

language = "Undefined/Unknown",

isbn = "0-7695-0306-3",

publisher = "IEEE ",

pages = "474--483",

booktitle = "RTCSA'99: proceedings",

address = "United States",

note = "null ; Conference date: 13-12-1999 Through 15-12-1999",

}