|
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 secrecy-preserving language for distributed and object-oriented systems |
Ramezanifarkhani, Toktam |
2018 |
99 | C |
p. 1-25 |
artikel |
|
| 2 | Complete algebraic solution of multidimensional optimization problems in tropical semifield |
Krivulin, Nikolai |
2018 |
99 | C |
p. 26-40 |
artikel |
|
| 3 | Editorial Board |
2018 |
99 | C |
p. ii |
artikel |
||
| 4 | Instrumenting a weakest precondition calculus for counterexample generation |
Dailler, Sylvain |
2018 |
99 | C |
p. 97-113 |
artikel |
|
| 5 | Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework |
El-Hokayem, Antoine |
2018 |
99 | C |
p. 143-177 |
artikel |
|
| 6 | On clock-aware LTL parameter synthesis of timed automata |
Bezděk, Peter |
2018 |
99 | C |
p. 114-142 |
artikel |
|
| 7 | When are stochastic transition systems tameable? |
Bertrand, Nathalie |
2018 |
99 | C |
p. 41-96 |
artikel |
7 gevonden resultaten