Abstraction-based Parameterized TLA Checker

01.01.2016 - 31.12.2019
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) Ausschreibungskennung ICT15-103

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Publikationen