Items where Author / Artist / Editor is "Brat, Guillaume"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 3.

Book Section

Pecheur, Charles and Raimondi, Franco and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389

Conference or Workshop Item

Rungta, Neha and Brat, Guillaume and Clancey, William J. and Linde, Charlotte and Raimondi, Franco and Seah, Chin and Shafto, Michael (2013) Aviation safety. In: ATACCS 2013.

Raimondi, Franco and Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece.

This list was generated on Sat Nov 28 04:30:11 2015 GMT.