1 System Modeling. Models of Computation. System Specification Languages Alexandru Andrei.
1 MSc - Microprocessors Dr. Konstantinos Tatas [email protected].
Paper Discussion Design of Embedded Systems: Formal Methods, Validation, and Synthesis