Skip to main navigation
Skip to search
Skip to main content
Korea University Home
Home
Profiles
Research Units
Research output
Press / Media
Search by expertise, name or affiliation
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems
J. S. Lee,
S. D. Cha
Research output
:
Contribution to journal
›
Article
›
peer-review
6
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Qualitative formal method for requirements specification and validation of hybrid real-time safety systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Formal methods
100%
Security systems
87%
Specifications
55%
Plant shutdowns
25%
Formal languages
21%
Requirements engineering
19%
Modeling languages
19%
Hybrid systems
16%
Nuclear power plants
16%
Hazards
15%
Engineers
12%