Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

Formal Modeling and Verification of Safety-Critical Software

Authors
Yoo, JunbeomJee, EunkyoungCha, Sungdeok
Issue Date
May-2009
Publisher
IEEE COMPUTER SOC
Keywords
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
Citation
IEEE SOFTWARE, v.26, no.3, pp.42 - 49
Indexed
SCIE
SCOPUS
Journal Title
IEEE SOFTWARE
Volume
26
Number
3
Start Page
42
End Page
49
URI
https://scholar.korea.ac.kr/handle/2021.sw.korea/120139
DOI
10.1109/MS.2009.67
ISSN
0740-7459
Files in This Item
There are no files associated with this item.
Appears in
Collections
Graduate School > Department of Computer Science and Engineering > 1. Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher Cha, Sung deok photo

Cha, Sung deok
Department of Computer Science and Engineering
Read more

Altmetrics

Total Views & Downloads

BROWSE