Datavetenskap och dataanalys
Formell modellering och analys av inbyggda system
Fokus är på formell modellering, analys och verifieringstekniker för inbyggda system i realtid, speciellt formell syntax och semantik för komponentbaserade och serviceinriktade modeller med extrafunktionella egenskaper såsom tid eller resurser.
Kontaktperson
No partial template found