Proceedings Third Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans (Newcastle University), John Fitzgerald (Newcastle, University)
TL;DR
This paper compiles research from the 3rd International Workshop on Formal Aspects of Virtual Organisations, focusing on formal techniques for designing and analyzing virtual organizations.
Contribution
It presents a collection of recent research advancements in applying formal methods to virtual organizations, fostering collaboration among researchers.
Findings
Enhanced formal models for virtual organizations
New analysis techniques for virtual enterprise structures
Frameworks for verifying virtual organization properties
Abstract
This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October 18th, 2011 as a satellite event to the 12th IFIP Working Conference on Virtual Enterprises (PRO-VE'11). The FAVO workshop aims to provide a forum for researchers interested in the application of formal techniques in the design and analysis of Virtual Organisations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.