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
Membership of research network or expert group

Leitungskomitee OpenCert 2007, Braga (Portugal) (External organisation)

Bernhard Aichernig (Member)
1 Nov 20061 Nov 2007

Activity: MembershipMembership of research network or expert group

Formal Methods Europe, Formal Methods Europe (Niederlande) (External organisation)

Bernhard Aichernig (Chair)
4 Apr 2004

Activity: MembershipMembership of research network or expert group