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
Eigenprojekt
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Schlagwörter

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

Publikationen