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

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540203032, 9783540396567
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tool-Supported Proof System for Multithreaded Java

2003 ◽  
pp. 1-32 ◽  
Author(s):  
Erika Ábrahám ◽  
Frank S. de Boer ◽  
Willem-Paul de Roever ◽  
Martin Steffen
Keyword(s):  
Proof System

Reactive Animation

2003 ◽  
pp. 136-153 ◽  
Author(s):  
David Harel ◽  
Sol Efroni ◽  
Irun R. Cohen

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software

2003 ◽  
pp. 154-181 ◽  
Author(s):  
Xianghua Deng ◽  
Matthew B. Dwyer ◽  
John Hatcliff ◽  
Georg Jung ◽  
Robby ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Embedded Software ◽  
Event Driven
Load More ...
Sign in / Sign up

Export Citation Format

Share Document