Lecture Notes in Computer Science - FM 2011: Formal Methods
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642214363, 9783642214370
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Only Way Is Up

2011 ◽  
pp. 3-11 ◽  
Author(s):  
Jasmin Fisher ◽  
Nir Piterman ◽  
Moshe Y. Vardi

Sampling-Based Runtime Verification

2011 ◽  
pp. 88-102 ◽  
Author(s):  
Borzoo Bonakdarpour ◽  
Samaneh Navabpour ◽  
Sebastian Fischmeister
Keyword(s):  
Runtime Verification

scholarly journals Verification of Unloadable Modules

2011 ◽  
pp. 402-416 ◽  
Author(s):  
Bart Jacobs ◽  
Jan Smans ◽  
Frank Piessens

scholarly journals On Combining State Space Reductions with Global Fairness Assumptions

2011 ◽  
pp. 432-447 ◽  
Author(s):  
Shao Jie Zhang ◽  
Jun Sun ◽  
Jun Pang ◽  
Yang Liu ◽  
Jin Song Dong
Keyword(s):  
State Space ◽  
Global Fairness
Load More ...
Sign in / Sign up

Export Citation Format

Share Document