?
2
Trust is good, control is better
a container based system design scheme : hard and software ...
Exemplare: Zentrale;
?
4
Hardware enhanced run-time management for many-core process..
Berichte aus der Elektrotechnik
Exemplare: Zentrale;
?
5
Formal system verification
state-of the-art and future trends
Exemplar:
Zentrale:E02 a inf 170 m/057
?
?
7
High-level estimation and exploration of reliability for mu..
Computer architecture and design methodologies;Computer Architecture and Design Methodologies Ser.
?
11
Complete symbolic simulation of systemC models
efficient formal verification of finite non-terminating pro...
BestMasters
Exemplar:
Zentrale:Magazin 02.t.0400
?
14
Completing behaviour driven development for testing and ver..
bringing agile to hardware development
Exemplare: Zentrale;