Author: Padmanabhan Prasanna
Publisher: Springer Publishing Company
ISSN: 0928-8910
Source: Automated Software Engineering, Vol.12, Iss.4, 2005-10, pp. : 447-465
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
A tool-supported approach to inter-tabular verification
By Kriz K. Gehrke J. Kriz D. Vanthienen J. Mues C. Wets G. Delaere K.
Expert Systems with Applications, Vol. 15, Iss. 3, 1998-10 ,pp. :
A tool-supported design framework for safety critical interactive systems
By Bastide R. Navarre D. Palanque P.
Interacting with Computers, Vol. 15, Iss. 3, 2003-06 ,pp. :