Sciweavers

IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
13 years 10 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter