Formal verification of component-based designs

ISSN： 0929-5585

Source： Design Automation for Embedded Systems, Vol.11, Iss.1, 2007-03, pp. : 49-90

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

Related content

A Formal Framework for Scalable Component-Based Systems

International Journal of Information System Modeling and Design (IJISMD), Vol. 8, Iss. 1, 2017-01 ,pp. : 1-23

IGI Global_journal

Access to resources Recommend Favorite

Formal Verification for Embedded System Designs

By Chen Xi Hsieh Harry Balarin Felice Watanabe Yosinori

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 139-153

Springer Publishing Company

Access to resources Recommend Favorite

Towards UML-based formal specifications of component-based real-time software

By Bianco Vieri

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 2, 2007-03 ,pp. : 179-192

Springer Publishing Company

Access to resources Recommend Favorite

Formal Verification of Activity-Based Specification of Protocols

By Anand K.C. Shyamasundar R.K.

Journal of Parallel and Distributed Computing, Vol. 60, Iss. 5, 2000-05 ,pp. : 639-676

Academic Press

Access to resources Recommend Favorite

Formal Description and Verification of Hybrid Rule/Frame-Based Expert Systems

By Orton J.D. Narang U. Anderson G.P. Ligler F.S. Burans J. Shiu S.C.K. Liu J.N.K. Yeung D.S.

Expert Systems with Applications, Vol. 13, Iss. 3, 1997-10 ,pp. : 215-230

Elsevier

Access to resources Recommend Favorite