Model checking at the requirements level: research abstract

D.N. Jansen

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

166 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings Requirement Engineering '01, Doctoral Workshop
Place of Publication	Toronto, Canada
Pages	-
Number of pages	5
Publication status	Published - 2001
Event	Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada - Duration: 1 Jan 2001 → 1 Jan 2001

Other	Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada
Period	1/01/01 → 1/01/01

Keywords

@inproceedings{7a07fe70fc7246f08c524daed0758ffd,

title = "Model checking at the requirements level: research abstract",

keywords = "METIS-204467, IR-37301",

author = "D.N. Jansen",

year = "2001",

language = "Undefined",

pages = "--",

booktitle = "Proceedings Requirement Engineering '01, Doctoral Workshop",

note = "null ; Conference date: 01-01-2001 Through 01-01-2001",

}