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

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.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: modeling and analyzing complex interactions between humans and automated systems. In: ATACCS 2013, 28-30 May 2013, Naples, Italy.

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 Feb 23 04:31:12 2019 GMT.