Mike Schrönen

Learn More
The design and development of safety-critical systems requires particular care in order to ensure the highest level of confidence in the systems. A variety of lifecycle models and development standards have evolved in various areas. Formal methods are touted to be the best approach for the development on all levels. Up to now, the lack of adequate tools,(More)
  • 1