Formalisation of behavioural and structural concepts for communication systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Paul King, Graeme Smith. Formalisation of behavioural and structural concepts for communication systems. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 3-18, North-Holland, 1990.

The following publications are possibly variants of this publication:

Assuring Adaptive Behaviour in Self-Organising SystemsJeff Sanders, Graeme Smith. In Trustworthy Self-Organizing Systems, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW). 2010: 172-177 [doi]

runs on WebDSL