Concurrent Specification in the Co-design of Reactive Engineering Systems

Author: Garg A.   Chawdhry P. K.  

Publisher: Taylor & Francis Ltd

ISSN: 1466-1837

Source: Journal of Engineering Design, Vol.9, Iss.1, 1998-03, pp. : 17-28

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract