Real-Time Programming Languages

Technical University of Munich

The Department of Electrical and Computer Engineering at the Technical University of Munich is using Ada and SPARK as part of their lecture “Real-Time Programming Languages”, next to Esterel and techniques for formal verification and WCET analysis.

View Course at TUM »