Formal Techniques for Distributed Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642385919, 9783642385926
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal Analysis of a Distributed Algorithm for Tracking Progress

2013 ◽  
pp. 5-19 ◽  
Author(s):  
Martín Abadi ◽  
Frank McSherry ◽  
Derek G. Murray ◽  
Thomas L. Rodeheffer
Keyword(s):  
Distributed Algorithm ◽  
Formal Analysis

scholarly journals Input-Output Conformance Simulation (iocos) for Model Based Testing

2013 ◽  
pp. 114-129 ◽  
Author(s):  
Carlos Gregorio-Rodríguez ◽  
Luis Llana ◽  
Rafael Martínez-Torres
Keyword(s):  
Input Output ◽  
Model Based ◽  
Model Based Testing

scholarly journals Verification of Directed Acyclic Ad Hoc Networks

2013 ◽  
pp. 193-208 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Mohamed Faouzi Atig ◽  
Othmane Rezine
Keyword(s):  
Ad Hoc Networks ◽  
Ad Hoc ◽  
Hoc Networks
Load More ...
Sign in / Sign up

Export Citation Format

Share Document