Behavior Verification of Hybrid Real-time Requirements by Qualitative Formalism

Publisher
IEEE
Issue Date
1997-10-27
Language
ENG
Citation

Real-Time Computing Systems and Applications, pp.127 - 134

URI
http://hdl.handle.net/10203/800
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
[7].pdf(728.57 kB)Download
  • Hit : 405
  • Download : 932
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0