Tag Archives: model checking

Towards the Analysis & Prediction of Complex System Behaviour in SAPERE

Slides on SlideShare, APICe
Advertisements

Leave a comment

Filed under Computer Science, Talks