Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)

S. Andova (Redacteur), A. McIver (Redacteur), P.R. D'Argenio (Redacteur), P.J.L. Cuijpers (Redacteur), J. Markovski (Redacteur), C. Morgan (Redacteur), M. Núñez (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

194 Downloads (Pure)

Samenvatting

This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume contains the final versions of all contributions accepted for presentation at the workshop.
Originele taal-2Engels
Uitgeverijs.n.
DOI's
StatusGepubliceerd - 2009

Publicatie series

NaamElectronic Proceedings in Theoretical Computer Science
Volume13

Vingerafdruk

Duik in de onderzoeksthema's van 'Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)'. Samen vormen ze een unieke vingerafdruk.

Citeer dit