Per Status
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Export
Choose the export format from the list below:
$services.rendering.render($uix.execute(), 'html/5.0')
- Office Formats (1)
-
Export as Portable Document Format (PDF) using the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
Per Status
6 publications / unpublished / Mirko Viroli
unpublished |
Matteo Casadei, Mirko Viroli A Framework to Specify and Verify Computational Fields for Pervasive Systems (unpublished) ACM Transactions on Autonomous and Adaptive Systems |
XWiki.MarcoSbaraglia|XWiki.MirkoViroli|XWiki.MCasadei Programming Coordination Laws of Artifacts in CArtAgO (unpublished) |
Matteo Casadei, Mirko Viroli Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (unpublished) |
XWiki.MirkoViroli|XWiki.AndreaOmicini The “Self-organising Coordination” Paradigm in the Software Engineering of SOS (unpublished) |
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli Integrating Simulation in AOSE: The SODA Case Study (unpublished) Simulation Modelling Practice and Theory |
Graeme Stevenson, Simon Dobson, Mirko Viroli, Elena Nardini An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems (unpublished) 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011) |
(6 publications unpublished) [top] [bottom] |
Tags: