Affiliated Academic Partners
Prof. Lubos Brim
Masaryk University Brno
Technical role(s) within Artist2
Contributes significantly to the cluster activity on Platforms for Embedded Systems; in particular within the development of cluster based distributed model checking through the Distributed Verification Environment DeVinE.
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009