Wir freuen uns über jede Rückmeldung. Ihre Botschaft geht nur an das Administrator Team. Danke fürs Mitmachen, das zur Verbesserung des Systems oder der Inhalte beitragen kann. Ihre Nachricht (optional mit Ihrer E-Mail):
unbekannter Gast

Prof. Armin Biere#

kein Foto vorhanden

Position
Full Professor
Universität
Johannes Kepler Universität Linz
Institut
Institute for Formal Models and Verification
Arbeitsgebiet
Bounded Model Checking, Encoding, Software Model Checking, Network Communication, Software Testing, Formal Reasoning, User Guidance, Formale Methoden, Modellierung, Software Testing, Programm Testen
E-Mail
biere@jku.at
Web-Site
http://fmv.jku.at/biere
Besondere Aktivitäten
-
Mitgliedschaften
-
Projekte
-
Publikationen
-
Anschrift
Johannes Kepler Universität Linz
Institute for Formal Models and Verification
Altenberger Straße 69
4040 Linz Johannes Kepler Universität Linz, Institute for Formal Models and Verification, ...
Ort
Linz
Telefon
-
Anmerkung
-
Benutzer-ID: a.biere



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#