Systematic software development using VDM
Systematic software development using VDM
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The META-Language: A Reference Manual
The Vienna Development Method: The Meta-Language
Programming in the META-Language: A Tutorial
The Vienna Development Method: The Meta-Language
On time constraints of reliable broadcast protocols for ad hoc networks with the liveness property
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
ADHOC-NOW'12 Proceedings of the 11th international conference on Ad-hoc, Mobile, and Wireless Networks
Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing
Hi-index | 0.00 |