| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
|
Al-Bataineh, Omar
|
|
2015
|
27 |
5-6 |
p. 917-949
|
artikel
|
| 2 |
A reduced maximality labeled transition system generation for recursive Petri nets
|
Bouneb, Messaouda
|
|
2015
|
27 |
5-6 |
p. 951-973
|
artikel
|
| 3 |
Categorical foundations for structured specifications in $${\mathsf{Z}}$$Z
|
Castro, Pablo F.
|
|
2015
|
27 |
5-6 |
p. 831-865
|
artikel
|
| 4 |
Editorial
|
Woodcock, Jim
|
|
2015
|
27 |
5-6 |
p. 751-752
|
artikel
|
| 5 |
Finding semantic associations in hierarchically structured groups of Web data
|
Rosaci, Domenico
|
|
2015
|
27 |
5-6 |
p. 867-884
|
artikel
|
| 6 |
Generating invariants for non-linear loops by linear algebraic methods
|
Rebiha, Rachid
|
|
2015
|
27 |
5-6 |
p. 805-829
|
artikel
|
| 7 |
Model checking CML: tool development and industrial applications
|
Mota, A.
|
|
2015
|
27 |
5-6 |
p. 975-1001
|
artikel
|
| 8 |
Model checking the observational determinism security property using PROMELA and SPIN
|
Dabaghchian, Maryam
|
|
2015
|
27 |
5-6 |
p. 789-804
|
artikel
|
| 9 |
Typed context awareness Ambient Calculus for pervasive applications
|
Pasqualin, Douglas Pereira
|
|
2015
|
27 |
5-6 |
p. 885-916
|
artikel
|
| 10 |
Untanglings: a novel approach to analyzing concurrent systems
|
Polyvyanyy, Artem
|
|
2015
|
27 |
5-6 |
p. 753-788
|
artikel
|
Tijdschrift beschrijving