|
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 | Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL |
Aransay, Jesús |
2016 |
28 | 6 |
p. 1005-1026 |
artikel |
|
| 2 | Foundations for using linear temporal logic in Event-B refinement |
Hoang, Thai Son |
2016 |
28 | 6 |
p. 909-935 |
artikel |
|
| 3 | Generalised rely-guarantee concurrency: an algebraic foundation |
Hayes, Ian J. |
2016 |
28 | 6 |
p. 1057-1078 |
artikel |
|
| 4 | Model checking learning agent systems using Promela with embedded C code and abstraction |
Kirwan, Ryan |
2016 |
28 | 6 |
p. 1027-1056 |
artikel |
|
| 5 | Rigorous development of component-based systems using component metadata and patterns |
Oliveira, M. V. M. |
2016 |
28 | 6 |
p. 937-1004 |
artikel |
5 gevonden resultaten