Author： Taghdiri Mana
Publisher： Springer Publishing Company
ISSN： 0928-8910
Source： Automated Software Engineering, Vol.14, Iss.1, 2007-03, pp. : 87-121
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
Theoretical Computer Science, Vol. 161, Iss. 1, 1996-07 ,pp. :
Access to resources
Recommend
Understanding and exploring formal specifications
By Siddiqi J. Morrey I. Hibberd R. Buckberry G.
Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. :
Component Specifications for Robotics Integration
By Messina E. Horst J. Kramer T. Huang H. Michaloski J.
Autonomous Robots, Vol. 6, Iss. 3, 1999-06 ,pp. :
Formal Specifications of User Requirements
By Clark R.G.
Automated Software Engineering, Vol. 6, Iss. 3, 1999-07 ,pp. :
Model Checking Interactor Specifications
By Campos J.C.
Automated Software Engineering, Vol. 8, Iss. 3-4, 2001-08 ,pp. :