Mobile B machines
Specifications and implementations of systems need to be concerned with the interactions that can occur within a system and model the data structures appropriately. We are interested in combinations of formal methods which consider the state and dynamic requirements of a system. We recognise that ma...
Main Author: | |
---|---|
Published: |
University of Surrey
2007
|
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731121 |