Publisher: Springer; 2013 edition (April 14, 2013)
Format: PDF / Kindle / ePub
Size: 9.4 MB
Downloadable formats: PDF
This booklet constitutes the completely refereed post-workshop court cases of the ninth foreign Workshop on net prone and Formal tools, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The nine papers provided have been rigorously reviewed and chosen from 19 submissions. They disguise points resembling the modeling and research of internet companies, provider discovery, and repair coordination with formal tools like BPEL, CSP, Maude, and Petri nets.