Fingeraftryk
Dyk ned i forskningsemnerne om 'Guaranteed error bounds on approximate model abstractions through reachability analysis'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Guaranteed error bounds on approximate model abstractions through reachability analysis
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin*
*Kontaktforfatter
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
10
Citationer
(Scopus)