Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„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