DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Journal Papers(저널논문)

Formal Modeling and Verification of Safety-Critical Software

Cited 25 time in webofscience Cited 0 time in scopus
  • Hit : 278
  • Download : 0
Export
Yoo J. / Jee, Eunk Young / Cha S.
Publisher
IEEE COMPUTER SOC
Issue Date
2009
Language
English
Article Type
Article
Keywords

REQUIREMENTS; SPECIFICATION; SYSTEMS

Citation

IEEE SOFTWARE, v.26, no.3, pp.42 - 49

ISSN
0740-7459
URI
http://hdl.handle.net/10203/94642
Appears in Collection
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 25 items in WoS Click to see citing articles in records_button

Display Full Item Record

qr_code

  • mendeley

    citeulike

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


rss_1.0 rss_2.0 atom_1.0