Formal Methods and Models for System Design
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer US

9781441954640, 9781402080524
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How to Compute the Refinement Relation for Parameterized Systems

2004 ◽  
pp. 181-209
Author(s):  
Françoise Bellegarde ◽  
Célina Charlet ◽  
Olga Kouchnarenko
Keyword(s):  
Parameterized Systems ◽  
Refinement Relation

Optimizations for Faster Execution of Esterel Programs

2004 ◽  
pp. 285-315
Author(s):  
Dumitru Potop-Butucaru ◽  
Robert de Simone

Mode: A Method for System-Level Architecture Evaluation

2004 ◽  
pp. 103-133
Author(s):  
Jan Romberg ◽  
Jewgenij Botaschanjan ◽  
Oscar Slotosch
Keyword(s):  
System Level ◽  
Architecture Evaluation ◽  
Mode A

Actor-Oriented Models for Codesign

2004 ◽  
pp. 33-56 ◽  
Author(s):  
Edward A. Lee ◽  
Stephen Neuendorffer

scholarly journals Highlevel Verification of Control Intensive Systems Using Predicate Abstraction

2004 ◽  
pp. 159-179
Author(s):  
Edmund Clarke ◽  
Orna Grumberg ◽  
Muralidhar Talupur ◽  
Dong Wang
Keyword(s):  
Predicate Abstraction

Structural Component Composition for System-Level Models

2004 ◽  
pp. 57-81
Author(s):  
Frederic Doucet ◽  
Sandeep Shukla ◽  
Rajesh Gupta
Keyword(s):  
Structural Component ◽  
Component Composition ◽  
System Level

Engineering Changes in Field Modifiable Architectures

2004 ◽  
pp. 353-372
Author(s):  
Satoshi Komatsu ◽  
Hiroshi Saito ◽  
Kenshu Seto ◽  
Yoshihisa Kojima ◽  
Masahiro Fujita
Keyword(s):  
Engineering Changes

Behavioral Type Inference

2004 ◽  
pp. 245-282 ◽  
Author(s):  
Jean-Pierre Talpin ◽  
David Berner ◽  
Sandeep Kumar Shukla ◽  
Paul Le Guernic ◽  
Abdoulaye Gamatié ◽  
...  
Keyword(s):  
Type Inference ◽  
Behavioral Type
Load More ...
Sign in / Sign up

Export Citation Format

Share Document