A mechanically proved and incremental development of IEEE 1394 tree identify protocol (Q1402471)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A mechanically proved and incremental development of IEEE 1394 tree identify protocol |
scientific article |
Statements
A mechanically proved and incremental development of IEEE 1394 tree identify protocol (English)
0 references
27 August 2003
0 references
Abstract model
0 references
B method
0 references
Event-driven approach
0 references
Proof-based development
0 references
Proof engine
0 references
Refinement
0 references
