„Formal Methods“

Suchergebnisse

1.421 Treffer

• Testing time - time to test? – using formal methods for the timing analysis of digital circuits
  Sauer, Matthias 2014 Der Andere Verlag