Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Activities 2006 2019

Filter
Talks and presentations in private or public companies

Model-Based Testing of Real-Time Systems

Brian Nielsen (Lecturer)
30 Nov 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Coverage metrikker, værktøjer til måling heraf og tool-demo

Brian Nielsen (Lecturer)
21 Aug 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Tool Platforms for Embedded Modeling, Analysis and Validation CAV

Michael Rygaard Hansen (Lecturer)
1 Jul 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Tutorial on Model-Based Testing of Real-Time Systems

Brian Nielsen (Lecturer)
26 Jun 2007

Activity: Talks and presentationsTalks 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 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

MOVES: a Tool for Modeling and Verification of Embedded Systems

Kim Guldstrand Larsen (Lecturer)
12 Mar 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Modelling Day

Kim Guldstrand Larsen (Lecturer)
3 Mar 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

ARTIST2: Winterschool

Kim Guldstrand Larsen (Lecturer)
19 Feb 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Brug af TTCN til Protokoltest

Brian Nielsen (Lecturer)
16 Jan 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

Model-Driven Verification and Testing of Embedded systems

Brian Nielsen (Lecturer)
19 Jun 2009

Activity: Talks and presentationsTalks and presentations in private or public companies