Synthesis of FBD-based PLC design from NuSCR formal specification.

Junbeom Yoo Sung Deok Cha Chang Hwoi Kim Duck Yong Song

Published in: Reliab. Eng. Syst. Saf. (2005)

Keyphrases

formal specification
object oriented design
tool suite
software design
formal methods
specification languages
model checking
case study
knowledge based systems
design methodology
specification language
user interface
open source
knowledge acquisition
building blocks