[Back]


Talks and Poster Presentations (with Proceedings-Entry):

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi:
"Monitoring Mobile and Spatially Distributed Cyber-Physical Systems";
Talk: MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; 2017-09-29 - 2017-10-02; in: "Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design", ACM, (2017), 146 - 155.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3127041.3127050


Created from the Publication Database of the Vienna University of Technology.