Aalborg Universitet skal bruge en særlig sammensat beregningscluster som skal anvendes med henblik på tidsautomatisk modelchecking som kræver nogle specielt bestykket maskiner som er sammensat specielt til forskning i modelchecking.
Del V: Kontrakttildeling
V.1) Dato for beslutningen om kontrakttildeling:
21.8.2014
V.2) Oplysninger om tilbud
V.3) Navn og adresse på den økonomiske aktør, som der er truffet afgørelse om at indgå kontrakt med
Mailadresse: Telefon: Internetadresse: Colfax International, 750 Palomar Avenue, CA 94085 Sunnyvale, USA, sales@colfax-intl.com +1 4087302275, www.colfax-intl.com