Formalising Behaviour Trees with CSP
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- From requirements to design: formalizing the key stepsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Tool Support for Visualizing CSP in UMLLecture Notes in Computer Science, 2002
- Activity Graphs and ProcessesLecture Notes in Computer Science, 2000
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987