Wir freuen uns über jede Rückmeldung. Ihre Botschaft geht vollkommen anonym nur an das Administrator Team. Danke fürs Mitmachen, das zur Verbesserung des Systems oder der Inhalte beitragen kann. ACHTUNG: Wir können an Sie nur eine Antwort senden, wenn Sie ihre Mail Adresse mitschicken, die wir sonst nicht kennen!
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#