Static inference of transmission data sizes in distributed systems
- Albert, E.
- Correas, J.
- Martin-Martin, E.
- Román-Díez, G.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662452301
Argitalpen urtea: 2014
Alea: 8803 Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Proceedings
Orrialdeak: 104-119
Mota: Biltzar ekarpena