Verification and optimization of a PLC control schedule

E. Brinksma

doi:10.1007/10722468_5

Verification and optimization of a PLC control schedule

E. Brinksma

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000)
Redacteuren	K. Havelund, J. Penix, W. Visser
Uitgeverij	Springer
Pagina's	73-92
ISBN van geprinte versie	3-540-41030-9
DOI's	https://doi.org/10.1007/10722468_5
Status	Gepubliceerd - 2000

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	1885
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/10722468_5

Citeer dit

Brinksma, E. (2000). Verification and optimization of a PLC control schedule. In K. Havelund, J. Penix, & W. Visser (editors), SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000) (blz. 73-92). (Lecture Notes in Computer Science; Vol. 1885). Springer. https://doi.org/10.1007/10722468_5

@inproceedings{a809e047e6b141bfb213c93198890d4d,

title = "Verification and optimization of a PLC control schedule",

author = "E. Brinksma",

year = "2000",

doi = "10.1007/10722468_5",

language = "English",

isbn = "3-540-41030-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "73--92",

editor = "K. Havelund and J. Penix and W. Visser",

booktitle = "SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000)",

address = "Germany",

}

Verification and optimization of a PLC control schedule. / Brinksma, E.
SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000). redactie / K. Havelund; J. Penix; W. Visser. Springer, 2000. blz. 73-92 (Lecture Notes in Computer Science; Vol. 1885).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Verification and optimization of a PLC control schedule

AU - Brinksma, E.

PY - 2000

Y1 - 2000

U2 - 10.1007/10722468_5

DO - 10.1007/10722468_5

M3 - Conference contribution

SN - 3-540-41030-9

T3 - Lecture Notes in Computer Science

SP - 73

EP - 92

BT - SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000)

A2 - Havelund, K.

A2 - Penix, J.

A2 - Visser, W.

PB - Springer

ER -