tag : model checking

3 publications
page_white_acrobat Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012) — Marco Alberti, Andrea Omicini