

Author: Bidoit Michel Sannella Donald Tarlecki Andrzej
Publisher: Springer Publishing Company
ISSN: 0934-5043
Source: Formal Aspects of Computing, Vol.13, Iss.3-5, 2002-07, pp. : 252-273
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content




Relating CASL with other specification languages: the institution level
Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. :


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. :