fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Model-based Systems Engineering

Export list as BibTeX file


  • 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan, Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, Springer. Details DOI BIB