A Formal Framework for Scalable Component-Based Systems

E-ISSN： 1947-8194|8|1|1-23

ISSN： 1947-8186

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

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

Formal verification of component-based designs

By Karlsson Daniel

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

Springer Publishing Company

Access to resources Recommend Favorite

A Component-based Framework for Face Detection and Identification

By Heisele Bernd Serre Thomas Poggio T.

International Journal of Computer Vision, Vol. 74, Iss. 2, 2007-08 ,pp. : 167-181

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

Structured performance analysis for component-based systems

By Salmi N.

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 96-131

Inderscience Publishers

Access to resources Recommend Favorite

Systems Development Strategy: A Component-based Approach, The Prototype

By Thakur Dinesh S. Chen Vincent W. Leister Kirk J.

Journal of the Association for Laboratory Automation, Vol. 4, Iss. 5, 1999-12 ,pp. : 28-33

Association for Laboratory Automation

Access to resources Recommend Favorite