vienna university

Treffer: 6
FORSYTE - Formal Methods in Systems Engineering

FORSYTE - Formal Methods in Systems Engineering « vienna-university

(Klicks: 286;Website hinzugefügt: Mar 12, 2014, vienna-university)

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

forsyte.at
Michael H. Fischer

Michael H. Fischer « vienna-university

(Klicks: 286;Website hinzugefügt: Dec 28, 2013, vienna-university)

Information Technology at MHF.AT

m.h.fischer domainhosting webhosting webdesign mhf.at www.mhf.at vienna university meduniwien medunivienna

mhf.at
Michael Aram, MSc

Michael Aram, MSc « vienna-university

(Klicks: 201;Website hinzugefügt: Dec 27, 2013, vienna-university)

Michael Aram currently studies the doctoral program on information systems at the Vienna University of Economics and Business

michael aram aram michael wien wu vienna mischa st. pölten

mischa.at