Crossmark

Formal analysis of imprecise system requirements with Event-B

Crossref DOI link: https://doi.org/10.1186/s40064-016-2657-8

Published Online: 2016-07-07

Published Print: 2016-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Le, Hong Anh

Nakajima, Shin

Truong, Ninh Thuan
Funding

Funding for this research was provided by:

Nafosted, Vietnam (102.03--2014.40)
License Information

License valid from 2016-07-07