Guided search technique for LOTOS.

Guided search technique for LOTOS.

The dynamic behaviour of a LOTOS specification can be described as a tree, called behaviour tree, where the nodes represent the states of the behaviour, and the branches represent the possible next actions. Unfortunately, the behaviour tree for a realistic size LOTOS specification can be very large...

Full description

Bibliographic Details
Main Author: Haj-Hussein, Mazen.
Other Authors: Logrippo, Luigi
Format: Others
Published: University of Ottawa (Canada) 2009
Subjects:
Computer Science.
Online Access:http://hdl.handle.net/10393/10085
http://dx.doi.org/10.20381/ruor-16648

Similar Items

Similar Items