Pages that link to "Item:Q1402471"
From MaRDI portal
The following pages link to A mechanically proved and incremental development of IEEE 1394 tree identify protocol (Q1402471):
Displaying 8 items.
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (Q860848) (← links)
- Developing topology discovery in Event-B (Q1044181) (← links)
- False loop detection in the IEEE 1394 tree identify phase (Q1402479) (← links)
- On the Purpose of Event-B Proof Obligations (Q3535369) (← links)
- Developing Topology Discovery in Event-B (Q3605457) (← links)
- (Q5020654) (← links)
- Incremental Parametric Development of Greedy Algorithms (Q5178994) (← links)