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

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642134630, 9783642134647
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Testing Probabilistic Distributed Systems

2010 ◽  
pp. 63-77 ◽  
Author(s):  
Robert M. Hierons ◽  
Manuel Núñez
Keyword(s):  
Distributed Systems

Testing Attribute-Based Transactions in SOC

2010 ◽  
pp. 87-94 ◽  
Author(s):  
Laura Bocchi ◽  
Emilio Tuosto

scholarly journals Logics for Contravariant Simulations

2010 ◽  
pp. 224-231 ◽  
Author(s):  
Ignacio Fábregas ◽  
David de Frutos Escrig ◽  
Miguel Palomino

scholarly journals Heap-Dependent Expressions in Separation Logic

2010 ◽  
pp. 170-185 ◽  
Author(s):  
Jan Smans ◽  
Bart Jacobs ◽  
Frank Piessens
Keyword(s):  
Separation Logic

scholarly journals Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

2010 ◽  
pp. 95-109 ◽  
Author(s):  
Fatemeh Kazemeyni ◽  
Einar Broch Johnsen ◽  
Olaf Owe ◽  
Ilangko Balasingham
Keyword(s):  
Game Theory ◽  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Wireless Sensor ◽  
Coalitional Game ◽  
Coalitional Game Theory

scholarly journals Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

2010 ◽  
pp. 47-62 ◽  
Author(s):  
Peter Csaba Ölveczky ◽  
Artur Boronat ◽  
José Meseguer
Keyword(s):  
Real Time ◽  
Formal Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document