Aktivitäten pro Jahr
Aktivitäten
- 3 Ergebnisse
Suchergebnisse
-
Doctoral Symposium of Formal Methods 2015, University of Oslo
Bernhard Aichernig (Organisator/-in)
22 Juni 2015Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
10th International Conference on Tests & Proofs
Bernhard Aichernig (Organisator/-in)
24 Juli 2015 → 7 Juli 2016Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
FMCO 2010: Software Technologies Concertation on Formal Methods for Components and Objects
Elisabeth Jöbstl (Organisator/-in), Harald Brandl (Organisator/-in) & Bernhard Aichernig (Organisator/-in)
29 Nov. 2010 → 1 Dez. 2010Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)