| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Checking safety properties on-the-fly with the sweep-line method
|
Gallasch, Guy Edward
|
|
|
9 |
3-4 |
p. 371-391
|
artikel
|
| 2 |
Checking safety properties on-the-fly with the sweep-line method
|
Gallasch, Guy Edward
|
|
2007
|
9 |
3-4 |
p. 371-391
|
artikel
|
| 3 |
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
|
Jensen, Kurt
|
|
|
9 |
3-4 |
p. 213-254
|
artikel
|
| 4 |
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
|
Jensen, Kurt
|
|
2007
|
9 |
3-4 |
p. 213-254
|
artikel
|
| 5 |
Formal specification and state space analysis of an operational planning process
|
Mitchell, Brice
|
|
|
9 |
3-4 |
p. 255-267
|
artikel
|
| 6 |
Formal specification and state space analysis of an operational planning process
|
Mitchell, Brice
|
|
2007
|
9 |
3-4 |
p. 255-267
|
artikel
|
| 7 |
Modelling and analysing the functional behaviour of TCP’s connection management procedures
|
Billington, Jonathan
|
|
|
9 |
3-4 |
p. 269-304
|
artikel
|
| 8 |
Modelling and analysing the functional behaviour of TCP’s connection management procedures
|
Billington, Jonathan
|
|
2007
|
9 |
3-4 |
p. 269-304
|
artikel
|
| 9 |
Modelling work distribution mechanisms using Colored Petri Nets
|
Pesic, Maja
|
|
2007
|
9 |
3-4 |
p. 327-352
|
artikel
|
| 10 |
Modular state space exploration for timed petri nets
|
Lakos, C.
|
|
|
9 |
3-4 |
p. 393-411
|
artikel
|
| 11 |
Modular state space exploration for timed petri nets
|
Lakos, C.
|
|
2007
|
9 |
3-4 |
p. 393-411
|
artikel
|
| 12 |
Requirements Validation: Execution of UML Models with CPN Tools
|
Machado, Ricardo J.
|
|
|
9 |
3-4 |
p. 353-369
|
artikel
|
| 13 |
Requirements Validation: Execution of UML Models with CPN Tools
|
Machado, Ricardo J.
|
|
2007
|
9 |
3-4 |
p. 353-369
|
artikel
|
| 14 |
Special section on coloured Petri nets
|
Jensen, Kurt
|
|
|
9 |
3-4 |
p. 209-212
|
artikel
|
| 15 |
Special section on coloured Petri nets
|
Jensen, Kurt
|
|
2007
|
9 |
3-4 |
p. 209-212
|
artikel
|
| 16 |
Verification of the Capability Exchange Signalling protocol
|
Liu, Lin
|
|
|
9 |
3-4 |
p. 305-326
|
artikel
|
| 17 |
Verification of the Capability Exchange Signalling protocol
|
Liu, Lin
|
|
2007
|
9 |
3-4 |
p. 305-326
|
artikel
|
| 18 |
Widening operators for powerset domains
|
Bagnara, Roberto
|
|
2007
|
9 |
3-4 |
p. 413-414
|
artikel
|
Tijdschrift beschrijving