Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
Publications
Clouds
tag : verification
tag : verification
2 publications
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(paper in proceedings, 2012) —
Matteo Casadei, Mirko Viroli
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
(paper in proceedings, 2004) —
Mirko Viroli, Andrea Omicini
[
tag cloud
/ publications ]