www.in7.at > forsyte.at
Kategorien Nach Namen sortieren Ihren Eintrag hinzufügen
http://www.in7.at -

Werbung

FORSYTE - Formal Methods in Systems Engineering

Klicks: 285, Website hinzugefügt: Mar 12, 2014
FORSYTE - Formal Methods in Systems Engineering
FORSYTE - Formal Methods in Systems Engineering
LINK : forsyte.at
Land:
Stichwort 1: forsyte
Stichwort 2: tu wien
Stichwort 3: tu vienna
Stichwort 4: helmut veith
Stichwort 5: model checking
Stichwort 6: test case generation
Stichwort 7: static analysis
Stichwort 8: formal methods
Beschreibung:
The FORSYTE group at Vienna University of Technology researches and provides teaching in the fields of software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems.