UML-B Specification for Proven Embedded Systems Design
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer US

9781441952561, 9781402028670
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Introduction to Formal Methods

2004 ◽  
pp. 1-20 ◽  
Author(s):  
Nikolaos S. Voros ◽  
Wolfgang Mueller ◽  
Colin Snook
Keyword(s):  
Formal Methods

Embedded System Design Using the PUSSEE Method

2004 ◽  
pp. 37-51
Author(s):  
Nikolaos S. Voros ◽  
Colin Snook ◽  
Stefan Hallerstede ◽  
Thierry Lecomte
Keyword(s):  
Embedded System ◽  
System Design ◽  
Embedded System Design

The Echo Cancellation Unit Case Study

2004 ◽  
pp. 227-240
Author(s):  
Alexander Krupp ◽  
Wolfgang Mueller ◽  
Ian Oliver
Keyword(s):  
Echo Cancellation

Formal Modelling of Electronic Circuits Using Event-B

2004 ◽  
pp. 211-226
Author(s):  
Yann Zimmermann ◽  
Stefan Hallerstede ◽  
Dominique Cansell
Keyword(s):  
Electronic Circuits ◽  
Formal Modelling

U2B

2004 ◽  
pp. 85-108 ◽  
Author(s):  
Colin Snook ◽  
Michael Butler
Load More ...
Sign in / Sign up

Export Citation Format

Share Document