|
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 | A qualitative assessment of $$\alpha $$αRby in the perspective of the supervisory control theory |
Routhier, Maxime |
2017 |
21 | 2 |
p. 121-141 |
artikel |
|
| 2 | Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B |
Fu, Chunyan |
2017 |
21 | 2 |
p. 165-181 |
artikel |
|
| 3 | Formal specification and implementation of an automated pattern-based parallel-code generation framework |
Pérez, Gervasio |
2017 |
21 | 2 |
p. 183-202 |
artikel |
|
| 4 | From high-level modeling toward efficient and trustworthy circuits |
Zaraket, Fadi A. |
2017 |
21 | 2 |
p. 143-163 |
artikel |
|
| 5 | Knowledge-based security testing of web applications by logic programming |
Zech, Philipp |
2017 |
21 | 2 |
p. 221-246 |
artikel |
|
| 6 | What’s decidable about parametric timed automata? |
André, Étienne |
2017 |
21 | 2 |
p. 203-219 |
artikel |
6 gevonden resultaten