Verification and optimization of a PLC control schedule

E. Brinksma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

20 Citations (Scopus)
Original languageEnglish
Title of host publicationSPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000)
EditorsK. Havelund, J. Penix, W. Visser
PublisherSpringer
Pages73-92
ISBN (Print)3-540-41030-9
DOIs
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
Volume1885
ISSN (Print)0302-9743

Cite this

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