Formal complexity-oriented performance-critical design and verification framework : configurable communication systems perspective
This thesis develops a formal framework for the specification, complexity analysis and verification of functional and performance requirements of configurable communication systems and protocols. The main objective is demonstrating the applicability of the proposed framework for the modelling and ve...
| Main Author: | |
|---|---|
| Published: |
University of Bristol
2012
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.628997 |