Development of RTOS for PLC Using Formal Methods.

Jin Hyun Kim Su-Young Lee Young Ah Ahn Jae-Hwan Sim Jin Seok Yang Na-Young Lee Jin-Young Choi

Published in: ATVA (2004)

Keyphrases

formal methods
knowledge based systems
software engineering
safety critical
development lifecycle
artificial intelligence
formal analysis
case study
e learning
expert systems
model checking
provably correct
data mining
control system
building blocks
process algebra