Published on 01 January 2018

Requirements document, scenarios, and Event-B models for lift examples

Dghaym, Dana;Hoang, Thai Son;Snook, Colin

This dataset supports the publication titled "Behaviour-driven formal model development" (ICFEM 2018)

https://doi.org/10.1007/978-3-030-02450-5_2
OpenAlex
Cited on 01 January 2018
Weight: 1.00

No mentions found

It looks like this dataset has not been mentioned in any sources.

Dataset Index

2.0

FAIR Score

69%

Citations

Mentions

DOI

Publisher

University of Southampton

Subfield

Information Systems and Management

Field

Decision Sciences

Domain

Social Sciences

Confidence Score

97%

Source

Open Alex

13.46

CTw

1.00

MTw

1.00