Embedded System Design Using Formal Model Refinement: <Emphasis Type="BoldItalic">An Approach Based on the Combined Use of UML and the B Language</Emphasis>期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Embedded System Design Using Formal Model Refinement: <Emphasis Type="BoldItalic">An Approach Based on the Combined Use of UML and the B Language</Emphasis>

Authors:	Email author" target="_blank">Nikolaos?S?Voros Email author Colin?F?Snook Stefan?Hallerstede Konstantinos?Masselos

Affiliation:	(1) INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, 254 Panepistimiou Str., 26443 Patra, Greece;(2) School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK;(3) KeesDA S.A., Centre Equation, 2 avenue de Vignate, 38610 Gieres, France;(4) INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, 19.5 Km Markopoulo Avenue, PO Box 68, 19002 Attika, Peania, Greece;(5) Present address: Imperial College of Science Technology and Medicine, UK

Abstract:

Keywords:	formal proof formal verification hardware/software co-design integration and modeling co-design methodology
本文献已被 SpringerLink 等数据库收录！