Using the Event Calculus to Reason about Problem Diagrams

Andreas Classen, Robin Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

30 Téléchargements (Pure)
langue originaleAnglais
titreProceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08
rédacteurs en chefLucia Rapanotti, G Jon, Hall Zhi, Jin Karl
EditeurACM Press
Pages74-77
Nombre de pages4
Etat de la publicationPublié - 2008

Contient cette citation