Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Datasets
Press/Media
Activities
Fellowships, Honors, and Prizes
Impacts
Search by expertise, name or affiliation
Designing specification languages for process control systems: Lessons learned and steps to the future
Nancy G. Leveson
,
Mats P.E. Heimdahl
, Jon Damon Reese
Computer Science and Engineering
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
35
Scopus citations
Overview
Fingerprint
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.
Sort by
Weight
Alphabetically
Keyphrases
Lessons Learned
100%
Specification Language
100%
Process Control System
100%
Specification Tool
100%
Machine Language
75%
State Machine
75%
Collision Avoidance System
25%
Industry Representatives
25%
Language Development
25%
Embedded Systems
25%
Design Features
25%
System Requirements
25%
Formal System
25%
Formal Specification Languages
25%
Systems Modeling Language (SysML)
25%
Employee Representatives
25%
Passenger Aircraft
25%
Computer Science
Specification Language
100%
Process Control
100%
Machine Language
75%
State Machine
75%
Collision Avoidance System
25%
Formal Specification
25%
modeling language
25%
System Requirement
25%
Embedded System
25%
Language Development
25%