„Software Verication“

Suchergebnisse

2 Treffer

• Model checking memory-related properties of hardware/software codesigns
  Pockrandt, Marcel ; Glesner, Sabine ; Juurlink, Ben ; Drechsler, Rolf 2014 Technische Universität Berlin
• Software Engineering: Specification, Implementation, Verification
  Alagić, Suad 2017 Springer International Publishing