Universität Bremen  
  TZI  FB3  
  Deutsch
English
 

Bremen Institute of Safe Systems (BISS)

 

The Bremen Institute of Safe and Secure Systems, BISS, is part of the Center for Computing Technology in the Department of Mathematics and Informatics at Universität Bremen, Germany.

Activities in BISS range from basic research and application-oriented research to technology development and transfer. Its mission is to increase safety and reliability of software and embedded systems by formal methods. We develop tools for specification, modelling, design, simulation and testing for safety critical, reliable reactive systems.



Research groups

Research projects

Publications

Software

News

Jobs

Contact

 
   
Author: Dr. Karsten Sohr
 
  BISS 
Last updated: July 13, 2004   impressum