Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540437031, 9783540478843
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translating Statecharts to B

2002 ◽  
pp. 128-144 ◽  
Author(s):  
Emil Sekerinski ◽  
Rafik Zurob

Combining Graphical and Formal Development of Open Distributed Systems

2002 ◽  
pp. 319-338 ◽  
Author(s):  
Einar B. Johnsen ◽  
Wenhui Zhang ◽  
Olaf Owe ◽  
Demissie B. Aredo
Keyword(s):  
Distributed Systems ◽  
Formal Development ◽  
Open Distributed Systems

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL

2002 ◽  
pp. 185-204 ◽  
Author(s):  
Behzad Akbarpour ◽  
Abdelkader Dekdouk ◽  
Sofiène Tahar
Keyword(s):  
Fixed Point ◽  
Fixed Point Arithmetic ◽  
Point Arithmetic

Stochastic Process Algebras Meet Eden

2002 ◽  
pp. 29-48 ◽  
Author(s):  
Natalia López ◽  
Manuel Núñez ◽  
Fernando Rubio
Keyword(s):  
Stochastic Process ◽  
Process Algebras ◽  
Stochastic Process Algebras
Load More ...
Sign in / Sign up

Export Citation Format

Share Document