يعرض 1 - 10 نتائج من 79 نتيجة بحث عن '"real time verification"', وقت الاستعلام: 0.98s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) QRS-C Software Quality, Reliability, and Security Companion (QRS-C), 2022 IEEE 22nd International Conference on. :576-579 Dec, 2022

    Relation: 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)

  2. 2
  3. 3
    دورية أكاديمية

    المصدر: IEEE Transactions on Radiation and Plasma Medical Sciences IEEE Trans. Radiat. Plasma Med. Sci. Radiation and Plasma Medical Sciences, IEEE Transactions on. 5(3):392-397 May, 2021

  4. 4
    مؤتمر

    المصدر: 2014 Second World Conference on Complex Systems (WCCS) Complex Systems (WCCS), 2014 Second World Conference on. :599-603 Nov, 2014

    Relation: 2014 Second World Conference on Complex Systems (WCCS)

  5. 5
    كتاب إلكتروني

    المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Giannakopoulou, Dimitra, editorAff13, Kroening, Daniel, editorAff14

    المصدر: Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. 8471:252-269

  6. 6
    دورية أكاديمية
  7. 7
  8. 8
  9. 9
  10. 10
    دورية أكاديمية

    المصدر: Formal Methods in System Design: An International Journal. October 2009 35(2):121-151