Designing specification languages for process control systems: Lessons learned and steps to the future

Nancy G. Leveson, Mats P.E. Heimdahl, Jon Damon Reese

Research output: Chapter in Book/Report/Conference proceedingConference contribution

34 Scopus citations

Fingerprint

Dive into the research topics of 'Designing specification languages for process control systems: Lessons learned and steps to the future'. Together they form a unique fingerprint.

Keyphrases

Computer Science