Jürgen Busse

Publication Activity (10 Years)

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

Publications

Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. FORMS/FORMAT (2010)