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
Ano de publicación: 2014
Volume: 8803 Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Proceedings
Páxinas: 104-119
Tipo: Achega congreso