Formal specification of a safety shell in real-time control practice

A-E-K Sahraoui, E Anderson, J van Katwijk, J Zalewski

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

Original language	Undefined/Unknown
Title of host publication	WRTP'2000
Editors	A Crespo, J Vila
Place of Publication	S.l.
Publisher	International Federation of Automatic Control
Pages	117-123
Number of pages	7
Publication status	Published - 2000
Event	25th IFAC Workshop on Real-Time Programming, Palma, Spain - S.l. Duration: 17 May 2000 → 19 May 2000

Name
Publisher	International Federation of Automatic Control

Conference	25th IFAC Workshop on Real-Time Programming, Palma, Spain
Period	17/05/00 → 19/05/00

Keywords

@inproceedings{be8fd3ae441d4c86845c908a4ab91c04,

title = "Formal specification of a safety shell in real-time control practice",

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

author = "A-E-K Sahraoui and E Anderson and {van Katwijk}, J and J Zalewski",

year = "2000",

language = "Undefined/Unknown",

publisher = "International Federation of Automatic Control",

pages = "117--123",

editor = "{A Crespo} and {J Vila}",

booktitle = "WRTP'2000",

note = "25th IFAC Workshop on Real-Time Programming, Palma, Spain ; Conference date: 17-05-2000 Through 19-05-2000",

}

TY - GEN

T1 - Formal specification of a safety shell in real-time control practice

AU - Sahraoui, A-E-K

AU - Anderson, E

AU - van Katwijk, J

AU - Zalewski, J

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SP - 117

EP - 123

BT - WRTP'2000

A2 - A Crespo, null

A2 - J Vila, null

PB - International Federation of Automatic Control

CY - S.l.

T2 - 25th IFAC Workshop on Real-Time Programming, Palma, Spain

Y2 - 17 May 2000 through 19 May 2000

ER -