Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540229421, 9783540301011
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Verification of Cooperating Traffic Agents

2004 ◽  
pp. 77-110 ◽  
Author(s):  
Werner Damm ◽  
Hardi Hungar ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Traffic Agents

scholarly journals Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

2004 ◽  
pp. 1-16 ◽  
Author(s):  
Albert Benveniste ◽  
Benoît Caillaud ◽  
Luca P. Carloni ◽  
Paul Caspi ◽  
Alberto L. Sangiovanni-Vincentelli
Keyword(s):  
Reactive Systems ◽  
Systems Modeling

Semantic Essence of AsmL: Extended Abstract

2004 ◽  
pp. 240-259 ◽  
Author(s):  
Yuri Gurevich ◽  
Benjamin Rossman ◽  
Wolfram Schulte
Load More ...
Sign in / Sign up

Export Citation Format

Share Document