Quantitative Evaluation of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319106953, 9783319106960
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids

2014 ◽  
pp. 345-367 ◽  
Author(s):  
Alberto Avritzer ◽  
Laura Carnevali ◽  
Lucia Happe ◽  
Anne Koziolek ◽  
Daniel Sadoc Menasche ◽  
...  
Keyword(s):  
Power Grids ◽  
Storm Impact

scholarly journals Probabilistic Programming Process Algebra

2014 ◽  
pp. 249-264 ◽  
Author(s):  
Anastasis Georgoulas ◽  
Jane Hillston ◽  
Dimitrios Milios ◽  
Guido Sanguinetti
Keyword(s):  
Process Algebra ◽  
Probabilistic Programming ◽  
Programming Process

Decidable Problems for Unary PFAs

2014 ◽  
pp. 329-344 ◽  
Author(s):  
Rohit Chadha ◽  
Dileep Kini ◽  
Mahesh Viswanathan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document