Aktiviteter pr. år
Aktiviteter
- 8 resultater
Søgeresultater
-
Model-Driven Verification and Testing of Embedded systems
Nielsen, B. (Foredragsholder)
19 jun. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Model-Based Testing of Real-Time Systems
Nielsen, B. (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
Nielsen, B. (Foredragsholder)
21 aug. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Tutorial on Model-Based Testing of Real-Time Systems
Nielsen, B. (Foredragsholder)
26 jun. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Brug af TTCN til Protokoltest
Nielsen, B. (Foredragsholder)
16 jan. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Online Test and Monitoring of Real-time Systems
Nielsen, B. (Foredragsholder)
6 jan. 2007Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Online testing of real-time systems using relativized input/output conformance
Nielsen, B. (Foredragsholder)
8 okt. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Model-based Testing and Validation of Real-Time Systems
Nielsen, B. (Foredragsholder)
26 jun. 2006Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed