Search Results for 'holzmann'
holzmann published presentations and documents on DocSlides.
The Power of Ten Rules for Developing Safety Critical Code Gerard J
by alexa-scheidler
Holzmann NASAJPL Laboratory for Reliable Software...
Vaccine SS Diagnosis of tickborne encephalitis Heidemarie Holzmann Institute of Virology Kinderspitalgasse A Vienna Austria Abstract The actual diagnosis of a tickborne encephalitis TBE must be es
by olivia-moreira
The method of choice is the demonstration of spec...
On the Amicability of Orthogonal Designs W
by debby-jeon
H Holzmann and H Kharaghani Department of Mathema...
