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

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642406140, 9783642406157
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Automatic Inference of Bounds on Resource Consumption

2013 ◽  
pp. 119-144 ◽  
Author(s):  
Elvira Albert ◽  
Diego Esteban Alonso-Blas ◽  
Puri Arenas ◽  
Jesús Correas ◽  
Antonio Flores-Montoya ◽  
...  
Keyword(s):  
Resource Consumption ◽  
Automatic Inference
Load More ...
Sign in / Sign up

Export Citation Format

Share Document