Behavior Verification of Hybrid Real-time Requirements by Qualitative Formalism

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 529
  • Download : 1199
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

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0