Specification and verification of a safty shell with statcharts and extended timed graphs

J van Katwijk, WJ Toetenel, AEK Sahaoui, E Anderson, J Zalewski

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

8 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	SAFECOMP 2000 proceedings
Editors	F Koornneef, van der M Meulen
Place of Publication	Berlin
Publisher	Springer
Pages	37-52
Number of pages	16
ISBN (Print)	3-540-41186-0
Publication status	Published - 2000
Event	19th International Conference SAFECOMP 2000, Rotterdam - Berlin Duration: 24 Oct 2000 → 27 Oct 2000

Name
Publisher	Springer

Conference	19th International Conference SAFECOMP 2000, Rotterdam
Period	24/10/00 → 27/10/00

Keywords

@inproceedings{35bab287f6404603ab9c7caa80200bf3,

title = "Specification and verification of a safty shell with statcharts and extended timed graphs",

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

author = "{van Katwijk}, J and WJ Toetenel and AEK Sahaoui and E Anderson and J Zalewski",

year = "2000",

language = "Undefined/Unknown",

isbn = "3-540-41186-0",

publisher = "Springer",

pages = "37--52",

editor = "{F Koornneef} and {M Meulen}, {van der}",

booktitle = "SAFECOMP 2000 proceedings",

note = "19th International Conference SAFECOMP 2000, Rotterdam ; Conference date: 24-10-2000 Through 27-10-2000",

}

TY - GEN

T1 - Specification and verification of a safty shell with statcharts and extended timed graphs

AU - van Katwijk, J

AU - Toetenel, WJ

AU - Sahaoui, AEK

AU - Anderson, E

AU - Zalewski, J

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 3-540-41186-0

SP - 37

EP - 52

BT - SAFECOMP 2000 proceedings

A2 - F Koornneef, null

A2 - M Meulen, van der

PB - Springer

CY - Berlin

T2 - 19th International Conference SAFECOMP 2000, Rotterdam

Y2 - 24 October 2000 through 27 October 2000

ER -