Requirements document, scenarios, and Event-B models for lift examples
2018
This dataset supports the publication titled "Behaviour-driven formal model development" (ICFEM 2018)
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI