tu vienna
Suche
Treffer: 4
FORSYTE - Formal Methods in Systems Engineering « tu-vienna
(Klicks: 289;Website hinzugefügt: Mar 12, 2014, tu-vienna)
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.
forsyte tu wien tu vienna helmut veith model checking test case generation static analysis formal methods
FAM TU Vienna: PRisMa Lab Home « tu-vienna
(Klicks: 196;Website hinzugefügt: Nov 25, 2013, tu-vienna)
Financial and Actuarial Mathematics at University of Technology Vienna
actuarial mathematics financial mathematics finanzmathematik versicherungsmathematik wirtschaftsmathematik stochastics statistics insurance mathematics
WCET Analysis at TU-Vienna « tu-vienna
(Klicks: 166;Website hinzugefügt: Sep 19, 2013, tu-vienna)
real-time real-time systems wcet wcet analysis worst-case execution time