Modular Verification of Finite Blocking in Non-terminating Programs

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Kustantaja	ETH-Zürich
DOI - pysyväislinkit	https://doi.org/10.3929/ethz-a-010341095
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Pääsy asiakirjaan

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekti: Industry/Business Finland