„Embedded Software Verification“

Suchergebnisse

62 Treffer

• 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)
  Reineke, Jan 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Scalable Bit-precise Formal Verification of Embedded Software
  He, Nannan 2016 LAP LAMBERT Academic Publishing