Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

Filter
Conference or symposium (Participation in/Organisation of)

Doctoral Symposium of Formal Methods 2015, University of Oslo

Bernhard Aichernig (Organiser)
22 Jun 2015

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

TAP 2016, Technische Universität Wien, TU Wien

Bernhard Aichernig (Organiser)
24 Jul 20157 Jul 2016

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

FMCO 2010: Software Technologies Concertation on Formal Methods for Components and Objects

Elisabeth Jöbstl (Organiser), Harald Brandl (Organiser), Bernhard Aichernig (Organiser)
29 Nov 20101 Dec 2010

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)