Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Forskningsenheder
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
(267)
Projekter
(250)
Publikationer
(5365)
Forskningsdatasæt
(131)
Priser
(85)
Aktiviteter
(402)
Presse/medier
(662)
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