×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [specification notations]
Home >
specification notations
Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot:
[email protected]
.
215 views
Lte x2 ap_3gpp_36423-pdf
398 views
TS 25.427.pdf
236 views
3GPP_UTRAN Iu Interface RANAP Signalling
52 views
A Practical Theory of Programming
37 views
Lecture 6 Template Semantics CS6133 Fall 2011 Software Specification and Verification.
216 views
217591156 ZTE LTE FDD Handover Feature Guide V1 0
86 views
Formal techniques for getting software right: some old ideas and some new tools
22 views
Hehner: A Practical Theory of Programming
17 views
A practical theory of programming
39 views
ZTE LTE FDD Handover Feature Guide_V1.0
304 views
217591156 ZTE LTE FDD Handover Feature Guide V1 0
58 views
Next >