FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing

01.09.2010 - 01.09.2011
Proprietary project
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing

People

Project leader

Project personnel

Institute

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Echt-Zeit SoftwareReal-time-Software
Analyseanalysis
VerhaltenBehaviour
TestenTesting

Publications