Open AccessAnalysis of the Formal Specification Application for Train Control Systems
Author(s) -
Hyun-Jeong Jo,
Yong-Ki Yoon,
Jong-Gyu Hwang
Publication year - 2009
Publication title -
journal of electrical engineering and technology/journal of electrical engineering and technology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.226
H-Index - 27
eISSN - 2093-7423
pISSN - 1975-0102
DOI - 10.5370/jeet.2009.4.1.087
Subject(s) - formal methods , formal specification , computer science , formal verification , refinement , language of temporal ordering specification , specification language , model checking , programming language , formal language , system requirements specification , software requirements specification , software engineering , software , software development , software design