Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Formal Modeling and Verification of Safety-Critical Software
- Authors
- Yoo, Junbeom; Jee, Eunkyoung; Cha, Sungdeok
- Issue Date
- 5월-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
- ISSN
- 0740-7459
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.