Activities per year
Activities
- 11 results
Search results
-
Tutorial on Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer)
26 Jun 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Towards a Systematic Approach to Embedded System Design: DATE, Design, Automation, and Test in Europe
Kim Guldstrand Larsen (Lecturer)
20 Apr 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Tool Platforms for Embedded Modeling, Analysis and Validation CAV
Michael Rygaard Hansen (Lecturer)
1 Jul 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Bettina Dahl Søndergaard (Lecturer), Morten Grud Rasmussen (Panel member), Jakob Gulddahl Rasmussen (Panel member) & Hans Hüttel (Panel member)
31 May 2022Activity: Talks and presentations › Talks and presentations in private or public companies
-
MOVES: a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Lecturer)
12 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Modelling Day
Kim Guldstrand Larsen (Lecturer)
3 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Lecturer)
19 Jun 2009Activity: Talks and presentations › Talks and presentations in private or public companies
-
Model-Based Testing of Real-Time Systems
Brian Nielsen (Lecturer)
30 Nov 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Coverage metrikker, værktøjer til måling heraf og tool-demo
Brian Nielsen (Lecturer)
21 Aug 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Brug af TTCN til Protokoltest
Brian Nielsen (Lecturer)
16 Jan 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Lecturer)
19 Feb 2007Activity: Talks and presentations › Talks and presentations in private or public companies