Informatik
 
  focus

  FOCUS   

       
Overview
 
Publications
 
Projects
 
Case Studies
 
Focus on Isabelle
 
LaTeX representation
 
AutoFocus
 
   
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
   

 

   Current Case Studies:

  • Cruise Control (Verisoft XT project)
  • Entering Support System (DENTUM III project)

   Former Case Studies:

  • Abstract model of the FTCom layer of OSEKtime OS (Verisoft project, see also publications)
  • Abstract model of the FlexRay (Verisoft project, see also publications)
  • Automotive-Gateway System (Verisoft project, see also publications)
  • Adaptive Cruise Control system with Pre-Crash Safety (DENTUM I project, see also publications)
  • Point of Sale system (CoCoME project, see also publications)
 
 
  Maria Spichkova
  Last modified 29.07.2011