Foundations for behavioural model elaboration using modal transition systems
Modal Transition Systems (MTS) are an extension of Labelled Transition Systems (LTS) that have been shown to be useful to reason about system behaviour in the context of partial information. MTSs distinguish between required, proscribed and unknown behaviour and come equipped with a notion of refine...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2012
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560671 |