Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642113185, 9783642113192
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Static Timing Analysis for Hard Real-Time Systems

2010 ◽  
pp. 3-22 ◽  
Author(s):  
Reinhard Wilhelm ◽  
Sebastian Altmeyer ◽  
Claire Burguière ◽  
Daniel Grund ◽  
Jörg Herter ◽  
...  
Keyword(s):  
Real Time ◽  
Timing Analysis ◽  
Real Time Systems ◽  
Static Timing Analysis ◽  
Static Timing ◽  
Hard Real Time ◽  
Time Systems

Abstract Threads

2010 ◽  
pp. 231-246 ◽  
Author(s):  
Shuvendu K. Lahiri ◽  
Alexander Malkis ◽  
Shaz Qadeer

scholarly journals Invariant and Type Inference for Matrices

2010 ◽  
pp. 163-179 ◽  
Author(s):  
Thomas A. Henzinger ◽  
Thibaud Hottelier ◽  
Laura Kovács ◽  
Andrei Voronkov
Keyword(s):  
Type Inference
Load More ...
Sign in / Sign up

Export Citation Format

Share Document