|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A computational framework based on the dynamic pipeline approach |
Pasarella, Edelmira |
|
139 | C |
p. |
artikel |
|
| 2 | A framework for formal verification of robot kinematics |
Xie, Guojun |
|
139 | C |
p. |
artikel |
|
| 3 | An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency |
Li, Ran |
|
139 | C |
p. |
artikel |
|
| 4 | CRYSTAL framework: Cybersecurity assurance for cyber-physical systems |
Moradi, Fereidoun |
|
139 | C |
p. |
artikel |
|
| 5 | Determinism of multirelations |
Furusawa, Hitoshi |
|
139 | C |
p. |
artikel |
|
| 6 | Editorial Board |
|
139 | C |
p. |
artikel |
||
| 7 | Fair termination of multiparty sessions |
Ciccone, Luca |
|
139 | C |
p. |
artikel |
|
| 8 | Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021) |
Martí-Oliet, Narciso |
|
139 | C |
p. |
artikel |
|
| 9 | Regular planar monoidal languages |
Earnshaw, Matthew |
|
139 | C |
p. |
artikel |
|
| 10 | The generalised distribution semantics and projective families of distributions |
Weitkämper, Felix |
|
139 | C |
p. |
artikel |
10 gevonden resultaten