Aktiviteter pr. år
Aktiviteter
- 50 - 65 ud af 65 resultater
Søgeresultater
-
QEST: : 4th International Conference on the Quantitative Evaluation of SysTems
Kim Guldstrand Larsen (Deltager)
16 sep. 2007 → 19 sep. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
QEST 2006 - Quantitative Evaluation of SysTems
Alexandre David (Deltager)
11 sep. 2006 → 14 sep. 2006Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Quasimodo Kickoff Møde (Arrangør og vært)
Brian Nielsen (Arrangør)
15 jan. 2008 → 16 jan. 2008Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems
Kim Guldstrand Larsen (Deltager)
3 apr. 2007 → 6 apr. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
RTSS 2005 - The 26th IEEE Real-Time Systems Symposium : UPPAAL Tutorial
Alexandre David (Arrangør)
5 dec. 2005Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Scandinavian Conference on Informaiton Systems
Jacob Nørbjerg (Arrangør)
10 aug. 2014 → 13 aug. 2014Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Scandinavian Conference on Informaiton Systems
Jacob Nørbjerg (Arrangør)
10 aug. 2014 → 13 aug. 2014Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Arrangør)
20 jan. 2007 → 26 jan. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Kim Guldstrand Larsen (Deltager)
20 mar. 2007 → 26 mar. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kim Guldstrand Larsen (Deltager)
24 mar. 2007 → 1 apr. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
TESTCOM/FATES 2009
Brian Nielsen (Arrangør)
19 feb. 2009 → 4 nov. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)
Brian Nielsen (Arrangør)
19 feb. 2009 → 31 aug. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem
Brian Nielsen (Arrangør)
1 jan. 2008 → 18 maj 2008Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
UNI-IIST School : ARTIST2 has organized, in collaboration with UNU-IIST, the 2nd edition of a school on embedded systems design in Suzhou.
Kim Guldstrand Larsen (Deltager)
1 aug. 2007 → 10 aug. 2007Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Workshop on Automata and Verification
Alexandre David (Deltager)
25 aug. 2008 → 26 aug. 2008Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference