Login / Signup
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
Seo Ryong Koo
Poong-Hyun Seong
Sung Deok Cha
Published in:
HASE (2004)
Keyphrases
</>
software design
software systems
safety critical
software development
software engineering
software development process
safety analysis
formal methods
programmable logic controller
embedded systems
petri net
design patterns
metadata
data analysis