|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems |
Ishii, Daisuke |
2011 |
13 | 5 |
p. 449-461 |
artikel |
|
| 2 | Deductive software verification |
Filliâtre, Jean-Christophe |
2011 |
13 | 5 |
p. 397-403 |
artikel |
|
| 3 | Formal methods for security in the Xenon hypervisor |
Freitas, Leo |
2011 |
13 | 5 |
p. 463-489 |
artikel |
|
| 4 | Functional dependencies of C functions via weakest pre-conditions |
Cuoq, Pascal |
2011 |
13 | 5 |
p. 405-417 |
artikel |
|
| 5 | Scenario-based testing from UML/OCL behavioral models |
Castillos, Kalou Cabrera |
2011 |
13 | 5 |
p. 431-448 |
artikel |
|
| 6 | SMT solvers: new oracles for the HOL theorem prover |
Weber, Tjark |
2011 |
13 | 5 |
p. 419-429 |
artikel |
6 gevonden resultaten