Fingeraftryk
Dyk ned i forskningsemnerne om 'Formal methods and tools for industrial critical systems'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Formal methods and tools for industrial critical systems
Maurice H. ter Beek*, Kim G. Larsen, Dejan Ničković, Tim A.C. Willemse
*Kontaktforfatter
Publikation: Bidrag til tidsskrift › Leder › peer review
8
Citationer
(Scopus)