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

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

Book Section

Pecheur, Charles, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 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. (doi:10.1145/1572272.1572279)

Conference or Workshop Item

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Seah, Chin and Shafto, Michael (2013) Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS '13 Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems - ATACCS '13. In: ATACCS 2013, 28-30 May 2013, Naples, Italy. ISBN 9781450322492. (doi:10.1145/2494493.2494498)

Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, 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 Tue Jun 2 05:11:54 2020 BST.