Sciweavers

6 search results - page 2 / 2
» A Conformance Testing Method for Communication Protocols Mod...
Sort
View
FMICS
2009
Springer
14 years 12 hour ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan