Hierarchical interfaces for hardware software systems

Abstract

Competent design of hierarchical interfaces for hardware/software systems needs the convergence of three concurrent research directions: the study of hierarchy types, the intelligent communication between different domains, the formalization of verification/test. We aim to extend the theory of hierarchy types, in order to integrate communication properties… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Niculiu2000HierarchicalIF, title={Hierarchical interfaces for hardware software systems}, author={Tudor Niculiu and Chouki Aktouf and Sorin Cotofana}, booktitle={ESM}, year={2000} }