Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Talks
Clouds
tag : model checking
tag : model checking
1 talks
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
(ASENSIS 2012@SASO 2012, 10/09/2012) —
Andrea Omicini
(Andrea Omicini, Marco Alberti)
[
tag cloud
/ talks ]