Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Enheder
Faciliteter
Presse/medier
Priser
Forskningsdatasæt
Impacts
Søg efter ekspertise, navn eller tilknytning
Institut for Datalogi
Det Tekniske Fakultet for IT og Design
Telefon
9940 9940
E-mail
[email protected]
Webside
http://www.cs.aau.dk
Postadresse
Vis på kort
Selma Lagerlöfs Vej 300
9220
Aalborg Ø
Danmark
Vis
Fingerprint
Netværk
Profiler
(221)
Projekter
(272)
Publikationer
(5659)
Forskningsdatasæt
(136)
Priser
(90)
Aktiviteter
(438)
Presse/medier
(688)
Impacts
(2)
Faciliteter
(1)
Faciliteter
1 resultater
Titel
(stigende)
Titel
(faldende)
Søgeresultater
DEIS-MCC, a Model Checking Cluster
CLAAUDIA Rådgivning og kompetence
Facilitet
:
Udstyr