|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Validated Real Function Calculus |
Collins, Pieter |
2011 |
5 | 4 |
p. 437-467 |
artikel |
|
| 2 | FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing |
Siegel, Stephen F. |
2011 |
5 | 4 |
p. 427-435 |
artikel |
|
| 3 | Foreword |
Fainekos, Georgios |
2011 |
5 | 4 |
p. 357-358 |
artikel |
|
| 4 | Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs |
Boldo, Sylvie |
2011 |
5 | 4 |
p. 377-393 |
artikel |
|
| 5 | PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata |
Damm, Werner |
2011 |
5 | 4 |
p. 469-497 |
artikel |
|
| 6 | Stochastic Arithmetic in Multiprecision |
Graillat, Stef |
2011 |
5 | 4 |
p. 359-375 |
artikel |
|
| 7 | TASS: The Toolkit for Accurate Scientific Software |
Siegel, Stephen F. |
2011 |
5 | 4 |
p. 395-426 |
artikel |
7 gevonden resultaten