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
info@cs.aau.dk
Webside
http://www.cs.aau.dk
Postadresse
Vis på kort
Selma Lagerlöfs Vej 300
9220
Aalborg Ø
Danmark
Vis
Fingerprint
Netværk
Profiler
(308)
Projekter
(239)
Publikationer
(5041)
Forskningsdatasæt
(116)
Priser
(75)
Aktiviteter
(379)
Presse/medier
(619)
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