| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
|
Abrial, Jean-Raymond
|
|
2003
|
14 |
3 |
p. 215-227
|
artikel
|
| 2 |
But What if I Don't Want to Wait Forever?
|
Fidge, Colin
|
|
2003
|
14 |
3 |
p. 281-294
|
artikel
|
| 3 |
Editorial
|
COOKE, JOHN
|
|
2003
|
14 |
3 |
p. 199
|
artikel
|
| 4 |
False Loop Detection in the IEEE 1394 Tree Identify Phase
|
Romijn, Judi
|
|
2003
|
14 |
3 |
p. 319-327
|
artikel
|
| 5 |
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol
|
Stoelinga, Mariëlle
|
|
2003
|
14 |
3 |
p. 328-337
|
artikel
|
| 6 |
IEEE 1394 Tree Identify Protocol: Introduction to the Case Study
|
Maharaj, Savi
|
|
2003
|
14 |
3 |
p. 200-214
|
artikel
|
| 7 |
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
|
Kwiatkowska, Marta
|
|
2003
|
14 |
3 |
p. 295-318
|
artikel
|
| 8 |
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic
|
Verdejo, Alberto
|
|
2003
|
14 |
3 |
p. 228-246
|
artikel
|
| 9 |
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol
|
Calder, M.
|
|
2003
|
14 |
3 |
p. 247-266
|
artikel
|
| 10 |
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV
|
Schuppan, Viktor
|
|
2003
|
14 |
3 |
p. 267-280
|
artikel
|
Tijdschrift beschrijving