Model checking real-time embedded software

WJ Toetenel, RF Lutje Spelberg

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

Original language	Undefined/Unknown
Title of host publication	PROGRESS 2000 proceedings
Editors	JP Veen
Place of Publication	Utrecht
Publisher	STW Technology Foundation
Pages	149-156
Number of pages	8
ISBN (Print)	90-73461-25-1
Publication status	Published - 2000
Event	1st PROGRESS workshop on embedded Systems, Utrecht - Utrecht Duration: 13 Oct 2000 → 13 Oct 2000

Name
Publisher	STW technology foundation

Conference	1st PROGRESS workshop on embedded Systems, Utrecht
Period	13/10/00 → 13/10/00

Keywords

@inproceedings{adb65dbd5f8c4ea4b14df66a74007841,

title = "Model checking real-time embedded software",

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

author = "WJ Toetenel and {Lutje Spelberg}, RF",

year = "2000",

language = "Undefined/Unknown",

isbn = "90-73461-25-1",

publisher = "STW Technology Foundation",

pages = "149--156",

editor = "{JP Veen}",

booktitle = "PROGRESS 2000 proceedings",

note = "1st PROGRESS workshop on embedded Systems, Utrecht ; Conference date: 13-10-2000 Through 13-10-2000",

}

TY - GEN

T1 - Model checking real-time embedded software

AU - Toetenel, WJ

AU - Lutje Spelberg, RF

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 90-73461-25-1

SP - 149

EP - 156

BT - PROGRESS 2000 proceedings

A2 - JP Veen, null

PB - STW Technology Foundation

CY - Utrecht

T2 - 1st PROGRESS workshop on embedded Systems, Utrecht

Y2 - 13 October 2000 through 13 October 2000

ER -