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 |
|
5-6 |
p. 917-949 |
artikel |
2 |
A reduced maximality labeled transition system generation for recursive Petri nets
|
Bouneb, Messaouda |
|
2015 |
|
5-6 |
p. 951-973 |
artikel |
3 |
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal
|
Bowman, H. |
|
1998 |
|
5-6 |
p. 550-575 |
artikel |
4 |
Case Study in Protocol Validation: Validating an ATM Signalling Protocol
|
Vassiliou-Gioles, Theofanis |
|
1998 |
|
5-6 |
p. 483-508 |
artikel |
5 |
Categorical foundations for structured specifications in $${\mathsf{Z}}$$Z
|
Castro, Pablo F. |
|
2015 |
|
5-6 |
p. 831-865 |
artikel |
6 |
Design for Proof: An Approach to the Design of Domain-Specific Languages
|
Anderson, Stuart |
|
1998 |
|
5-6 |
p. 452-468 |
artikel |
7 |
Editorial
|
Woodcock, Jim |
|
2015 |
|
5-6 |
p. 751-752 |
artikel |
8 |
Editorial
|
Groote, Jan Friso |
|
1998 |
|
5-6 |
p. 435 |
artikel |
9 |
Finding semantic associations in hierarchically structured groups of Web data
|
Rosaci, Domenico |
|
2015 |
|
5-6 |
p. 867-884 |
artikel |
10 |
Generating invariants for non-linear loops by linear algebraic methods
|
Rebiha, Rachid |
|
2015 |
|
5-6 |
p. 805-829 |
artikel |
11 |
Investigating the Integration of two Formal Methods
|
Bicarregui, Juan |
|
1998 |
|
5-6 |
p. 532-549 |
artikel |
12 |
Model checking CML: tool development and industrial applications
|
Mota, A. |
|
2015 |
|
5-6 |
p. 975-1001 |
artikel |
13 |
Model checking the observational determinism security property using PROMELA and SPIN
|
Dabaghchian, Maryam |
|
2015 |
|
5-6 |
p. 789-804 |
artikel |
14 |
Partial-order Reduction Techniques for Real-time Model Checking
|
Dams, Dennis |
|
1998 |
|
5-6 |
p. 469-482 |
artikel |
15 |
Testing Algebraic Data Types and Processes: A Unifying Theory
|
Gaudel, Marie-Claude |
|
1998 |
|
5-6 |
p. 436-451 |
artikel |
16 |
The Tree Identify Protocol of IEEE 1394 in μCRL
|
Shankland, Carron |
|
1998 |
|
5-6 |
p. 509-531 |
artikel |
17 |
Typed context awareness Ambient Calculus for pervasive applications
|
Pasqualin, Douglas Pereira |
|
2015 |
|
5-6 |
p. 885-916 |
artikel |
18 |
Untanglings: a novel approach to analyzing concurrent systems
|
Polyvyanyy, Artem |
|
2015 |
|
5-6 |
p. 753-788 |
artikel |