-
Formal Timing Analysis of Mixed Music Scores
Interactive music systems coordinate in real-time an artificial perception of dynamics of human musicians with timely execution of machine reactions. As every human... -
Robust control under slackened real-time constraints
The development process of critical avionics products are done under strict safety regulations. These regulations include determinism and predictability of the...
