Formal Modeling and Verification of Safety-Critical Software

Yoo, Junbeom; Jee, Eunkyoung; Cha, Sungdeok

doi:10.1109/MS.2009.67

상세 보기

Formal Modeling and Verification of Safety-Critical Software

Yoo, Junbeom;
Jee, Eunkyoung;
Cha, Sungdeok

Citations

WEB OF SCIENCE

31

Citations

SCOPUS

52

키워드

Analytical models; Computer aided software engineering; Control systems; Data mining; Formal methods; Formal specifications; Function block diagram (FBD); Modeling; Safety; Safety-critical software; Software; Verification; REQUIREMENTS

제목: Formal Modeling and Verification of Safety-Critical Software

저자: Yoo, Junbeom; Jee, Eunkyoung; Cha, Sungdeok

DOI: 10.1109/MS.2009.67

발행일: 2009-05

유형: Article

저널명: IEEE Software

권: 26

호: 3

페이지: 42 ~ 49