DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Conference Papers(학술회의논문)

Data Flow Testing as Model Checking

Cited 50 time in webofscience Cited 0 time in scopus
  • Hit : 992
  • Download : 1096
Export
Hong, Hyoung Seok / Cha, Sung Deok / Lee, Insup / Sokolsky, Oleg / Ural, Hasan
Publisher
ICSE '03
Issue Date
2003-05-03
Citation

Software Engineering, 2003. Proceedings. 25th International Conference on, pp.242

URI
http://hdl.handle.net/10203/804
Appears in Collection
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 50 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