HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION

Zining Cao, Hui Wang

2011

Abstract

In this paper, we propose a specification model combining interface automata, hybrid automata and Z language, named HZIA. This model can be used to describe temporal properties, hybrid properties, and data properties of hybrid software/hardware components. We also study the approximated refinement relation on HZIAs.

Paper Citation

in Harvard Style

Cao Z. and Wang H. (2011). HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 260-265. DOI: 10.5220/0003504002600265

in Bibtex Style

@conference{enase11,
author={Zining Cao and Hui Wang},
title={HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={260-265},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003504002600265},
isbn={978-989-8425-57-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION
SN - 978-989-8425-57-7
AU - Cao Z.
AU - Wang H.
PY - 2011
SP - 260
EP - 265
DO - 10.5220/0003504002600265