Quantitative Formal Methods

QFM'09

 

 

 

Workshop on

Quantitative Formal Methods:

Theory and Applications

- workshop of FM 2009 -

Eindhoven, The Netherlands

November 3rd, 2009

 

Organizers


Suzana Andova s.andova@tue.nl
Pedro D'Argenio dargenio@famaf.unc.edu.ar
Pieter Cuijpers p.j.l.cuijpers@tue.nl
Annabelle McIver anabel@ics.mq.edu.au
Jasen Markovski j.markovski@tue.nl
Carroll Morgan carrollm@cse.unsw.edu.au
Manuel Nunez mn@sip.ucm.es

 

back