ACM-IEEE International Conference on Formal Methods and Models for System Design
- Stavros Tripakis (Member)
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys