Informatik
 
  focus

  FOCUS   

       
Overview
 
Publications
 
Projects
 
Case Studies
 
Focus on Isabelle
 
LaTeX representation
 
AutoFocus
 
   
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
   

 

   Books:

   Contributions to Books:

  • Christian Kühnel, Maria Spichkova
    Software Engineering of Fault Tolerant Systems
    Eds.: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky
    In Software Engineering and Knowledge Engineering, volume 19, pp. 175-198, World Scientific Publishing, 2007

   Refereed Conference/Workshop Papers:

    PhD thesis:
    Unrefereed Publications:

 
 
  Maria Spichkova
  Last modified 29.07.2011