Aktivitäten pro Jahr
Aktivitäten
- 4 Ergebnisse
Suchergebnisse
-
Design, Automation and Test in Europe Conference (Veranstaltung)
Nickovic, D. (International Programme Committee - Member)
1 Sept. 2024 → 12 Nov. 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees
-
The 24th International Conference on Runtime Verification (RV) 2024 (Veranstaltung)
Nickovic, D. (International Programme Committee - Member)
1 Juni 2024 → 1 Juli 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees
-
QEST+FORMATS 2024 International Conference (Veranstaltung)
Nickovic, D. (Gutachter:in)
1 Mai 2024 → 1 Juni 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees
-
26th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM) 2024 - The Industrial Track (Veranstaltung)
Nickovic, D. (International Programme Committee - Member)
1 Feb. 2024 → 1 Apr. 2024Aktivität: Begutachtungstätigkeit › Teilnahme an Konferenzkomitees