Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

2004 ◽  
Vol 9 (2) ◽  
pp. 67-99 ◽  
Author(s):  
Nikolaos S. Voros ◽  
Colin F. Snook ◽  
Stefan Hallerstede ◽  
Konstantinos Masselos
Keyword(s):  
Embedded System ◽  
System Design ◽  
Formal Model ◽  
Model Refinement ◽  
Embedded System Design ◽  
Combined Use

A novel embedded system design for the detection and classification of cardiac disorders

2021 ◽  
Author(s):  
Umair Riaz ◽  
Sumair Aziz ◽  
Muhammad Umar Khan ◽  
Syed Azhar Ali Zaidi ◽  
Muhammad Ukasha ◽  
...  
Keyword(s):  
Embedded System ◽  
System Design ◽  
Embedded System Design ◽  
Cardiac Disorders

Trade-off evaluation in embedded system design via co-simulation

2002 ◽  
Author(s):  
C. Passerone ◽  
L. Lavagno ◽  
C. Sansoe ◽  
M. Chiodo ◽  
A. Sangiovanni-Vincentelli
Keyword(s):  
Embedded System ◽  
System Design ◽  
Trade Off ◽  
Embedded System Design
Sign in / Sign up

Export Citation Format

Share Document