Advanced Parallel Testing and Verification Methods for Distributed Systems

Heljanko, Keijo (Principal investigator)
Maarala, Altti Ilari (Project Member)
Saarikivi, Olli (Project Member)
Ponce de Leon, Hernan (Project Member)

Department of Computer Science

Short title	APTV/Heljanko
Status	Finished
Effective start/end date	01/09/2014 → 31/08/2018