Aktiviteter pr. år
Aktiviteter
- 11 resultater
Søgeresultater
-
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Søndergaard, B. D. (Foredragsholder), Rasmussen, M. G. (Paneldeltager), Rasmussen, J. G. (Paneldeltager) & Hüttel, H. (Paneldeltager)
31 maj 2022Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Foredragsholder)
19 jun. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Model-Based Testing of Real-Time Systems
Brian Nielsen (Foredragsholder)
30 nov. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Foredragsholder)
21 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Tool Platforms for Embedded Modeling, Analysis and Validation CAV
Michael Rygaard Hansen (Foredragsholder)
1 jul. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Tutorial on Model-Based Testing of Real-Time Systems
Brian Nielsen (Foredragsholder)
26 jun. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Towards a Systematic Approach to Embedded System Design: DATE, Design, Automation, and Test in Europe
Larsen, K. G. (Foredragsholder)
20 apr. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
MOVES: a Tool for Modeling and Verification of Embedded Systems
Larsen, K. G. (Foredragsholder)
12 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Modelling Day
Larsen, K. G. (Foredragsholder)
3 mar. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
ARTIST2: Winterschool
Larsen, K. G. (Foredragsholder)
19 feb. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Brug af TTCN til Protokoltest
Brian Nielsen (Foredragsholder)
16 jan. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed