Author of the publication

A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.

, , , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 221-230. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A multicontext architecture for formalizing complex reasoning., and . Int. J. Intell. Syst., 10 (5): 501-539 (1995)Web Service Discovery at Process-level Based on Semantic Annotation., , , and . SEBD, page 220-232. (2007)Acting and Planning Using Operational Models., , , and . AAAI, page 7691-7698. AAAI Press, (2019)Online Grounding of Symbolic Planning Domains in Unknown Environments., , , , and . KR, (2022)ASTRO: Supporting Composition and Execution of Web Services., , , , , , , and . ICSOC, volume 3826 of Lecture Notes in Computer Science, page 495-501. Springer, (2005)Formal Specification and Development of a Safety-Critical Train Management System., , , , , , and . SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 410-419. Springer, (1999)Beyond the Single Planning Paradigm: Introspective Planning., , and . ECAI, page 643-647. John Wiley and Sons, (1992)A Logic for Acting, Sensing and Planning., and . IJCAI, page 1941-1949. Morgan Kaufmann, (1995)MBP: a Model Based Planner, , , , and . (2001)Automated planning, , and . Elsevier Kaufmann, Amsterdam, (2004)