| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A nearest-neighbor divide-and-conquer approach for adaptive random testing
|
Huang, Rubing
|
|
|
215 |
C |
p.
|
artikel
|
| 2 |
A refinement development approach for enhancing the safety of PLC programs with Event-B
|
Mao, Xia
|
|
|
215 |
C |
p.
|
artikel
|
| 3 |
A two-level formal model for Big Data processing programs
|
de Souza Neto, João Batista
|
|
|
215 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
215 |
C |
p.
|
artikel
|
| 5 |
Hermes: A reversible language for lightweight encryption
|
Mogensen, Torben Ægidius
|
|
|
215 |
C |
p.
|
artikel
|
| 6 |
Modal characterisation of simulation relations in probabilistic concurrent games
|
Zhang, Chenyi
|
|
|
215 |
C |
p.
|
artikel
|
| 7 |
Modelling and verifying BDI agents with bigraphs
|
Archibald, Blair
|
|
|
215 |
C |
p.
|
artikel
|
| 8 |
Quantifying the interpretation overhead of Python
|
Zhang, Qiang
|
|
|
215 |
C |
p.
|
artikel
|
| 9 |
Tackling rapid technology changes by applying enterprise engineering theories
|
Dvořák, Ondřej
|
|
|
215 |
C |
p.
|
artikel
|
| 10 |
Test case prioritization with neuron valuation based pattern
|
Yan, Rongjie
|
|
|
215 |
C |
p.
|
artikel
|
| 11 |
Time-symmetric Turing machines for computable involutions
|
Nakano, Keisuke
|
|
|
215 |
C |
p.
|
artikel
|
| 12 |
User-driven diverse scenario exploration in model finders
|
Clarisó, Robert
|
|
|
215 |
C |
p.
|
artikel
|
Tijdschrift beschrijving