Merging digital hydraulic systems and supercomputing (Academy of Finland)

Walden, Marina (CoI)
Westerholm, Jan (Vastuullinen tutkija)
Boström, Pontus (CoI)
Ersfolk, Johan (CoI)
Wiik, Jonatan (CoI)

Information Technology

3 Konferenssiartikkeli
1 Tutkimusraportti
1 Artikkeli

1 tulosta

Suodatin

2016

Contract-Based Verification of MATLAB-Style Matrix Programs
Wiik, J. & Boström, P., 2016, julkaisussa: Formal Aspects of Computing. 28, 1, s. 79–107
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)