|
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 decentralized analysis of multiparty protocols |
van den Heuvel, Bas |
|
222 | C |
p. |
artikel |
|
| 2 | A method for identifying references between projects in GitHub |
Liu, Baochuan |
|
222 | C |
p. |
artikel |
|
| 3 | ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment |
Yu, Yaoshen |
|
222 | C |
p. |
artikel |
|
| 4 | Editorial Board |
|
222 | C |
p. |
artikel |
||
| 5 | Formal verification of IoT applications using rewriting logic: An MDE-based approach |
Fortas, Abdelouahab |
|
222 | C |
p. |
artikel |
|
| 6 | Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation |
Mammar, Amel |
|
222 | C |
p. |
artikel |
|
| 7 | PSTMonitor: Monitor synthesis from probabilistic session types Image 1 |
Bartolo Burlò, Christian |
|
222 | C |
p. |
artikel |
7 gevonden resultaten