Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Kim Guldstrand Larsen (Redaktør), Tim Willemse (Redaktør)

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.'. Sammen danner de et unikt fingeraftryk.

Engineering

Computer Science