Tim Oodes

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Tim Oodes, Holger Krisp, Christian Müller-Schloer
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems. ARCS (2002)