Author： Turner Raymond
Publisher： Springer Publishing Company
ISSN： 0924-6495
Source： Minds and Machines, Vol.21, Iss.2, 2011-05, pp. : 135-152
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Requirements and Specification Exemplars
By Feather M.S.
Automated Software Engineering, Vol. 4, Iss. 4, 1997-10 ,pp. :
Access to resources
Recommend
Multiagent Mission Specification and Execution
Autonomous Robots, Vol. 4, Iss. 1, 1997-03 ,pp. :
Behavioural Conflicts in a Causal Specification
By Moffett J.
Automated Software Engineering, Vol. 7, Iss. 3, 2000-07 ,pp. :
On the complexity of specification morphisms
By Cicerone S. Parisi-Presicce F.
Theoretical Computer Science, Vol. 189, Iss. 1, 1997-12 ,pp. :