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

A Framework for Translating Models and Specifications

2002 ◽  
pp. 145-164 ◽  
Author(s):  
Shmuel Katz ◽  
Orna Grumberg

The Design of a Tool-Supported Graphical Notation for Timed CSP

2002 ◽  
pp. 299-318 ◽  
Author(s):  
Phillip J. Brooke ◽  
Richard F. Paige
Keyword(s):  
Graphical Notation ◽  
Timed Csp

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

Rhapsody: A Complete Life-Cycle Model-Based Development System

2002 ◽  
pp. 1-10 ◽  
Author(s):  
Eran Gery ◽  
David Harel ◽  
Eldad Palachi
Keyword(s):  
Life Cycle ◽  
Life Cycle Model ◽  
Cycle Model ◽  
Development System ◽  
Model Based ◽  
Complete Life Cycle

scholarly journals Combining Specification Techniques for Processes, Data and Time

2002 ◽  
pp. 245-266 ◽  
Author(s):  
Jochen Hoenicke ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Specification Techniques

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

Minimally and Maximally Abstract Retrenchments

2002 ◽  
pp. 380-399 ◽  
Author(s):  
C. Jeske ◽  
R. Banach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document