Skip to Content

A Framework to Specify and Verify Computational Fields for Pervasive Systems

A Framework to Specify and Verify Computational Fields for Pervasive Systems
— status
unpublished
— sort
article in journal
who
— authors
Matteo Casadei  •  Mirko Viroli
where & when
— journal
ACM Transactions on Autonomous and Adaptive Systems
— publisher
ACM
BibTeX alignment
— address
New York, NY, USA
APICe
— journal or series
ACM Transactions on Autonomous and Adaptive Systems
— superseded by
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems