|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formalization of geometric constraint systems and their decomposition |
Mathis, Pascal |
2009 |
22 | 2 |
p. 129-151 |
artikel |
|
| 2 | Algebra and logic for access control |
Collinson, Matthew |
2009 |
22 | 2 |
p. 83-104 |
artikel |
|
| 3 | A process algebraic framework for specification and validation of real-time systems |
Sherif, Adnan |
2009 |
22 | 2 |
p. 153-191 |
artikel |
|
| 4 | Generating certified code from formal proofs: a case study in homological algebra |
Aransay, Jesús |
2009 |
22 | 2 |
p. 193-213 |
artikel |
|
| 5 | Verification and falsification of programs with loops using predicate abstraction |
Kroening, Daniel |
2009 |
22 | 2 |
p. 105-128 |
artikel |
5 gevonden resultaten