Robert Herber
3  results:
Search for persons X
?
2

Contributors:

, In: Principles of Regenerative Medicine,
Agarwal, Rachit ; Ahlstrom, Jon D. ; Ahmad, Rafiq... - p. xix-xxiv , 2018
 
?
3

Bit-precise formal verification of discrete-time MATLAB/Sim..:

, In: Proceedings of the Eleventh ACM International Conference on Embedded Software,
 
1-3