9626 search results - page 119 / 1926 » Invariant Based Programming |
91
Voted
IFIP
2010
Springer
15 years 3 months ago
2010
Springer
129
Voted
IFIP
2010
Springer
15 years 3 months ago
2010
Springer
159
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual, but very effective, way of rewriting the so-called extended Euclid’s algorithm. Rat...
167
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...