The following pages link to Fuyuki Ishikawa (Q2065543):
Displaying 4 items.
- A refinement-based development of a distributed signalling system (Q2065545) (← links)
- Architecture-guided test resource allocation via logic (Q2117254) (← links)
- Consistency-preserving refactoring of refinement structures in Event-B models (Q2418044) (← links)
- Construction of Abstract State Graphs for Understanding Event-B Models (Q5045389) (← links)