Innotrans 2012: We prove that your software is responding properly!
Date:
Sep. 17, 2012
Location:
Visit us from 18 to 21 September 2012 at the
InnoTrans in Hall 4.1, Stand 225. We will be demonstrating how deductive verification methods can be used to prove that the software of such safety-critical systems works faultlessly.
ILA 2012: Powerful Satellite Computer
Date:
Sep. 10, 2012
Location:
Visit us from 11th to 16th September at ILA 2012 in Berlin (Hall 3.E, Booth 3221) and experience a precise landing of a satellite on the moon.
4th Workshop on Model-based Testing in Practice (MoTiP)
Date:
Feb. 22, 2012
Location:
4th Workshop on Model-based Testing in Practice, MoTiP 2012, MoTiP12
FOKUS at Twitter
FOKUS at Facebook
FOKUS at YouTube
FOKUS at LinkedIn
FOKUS at Xing
FOKUS at Flickr