A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems
Crossref DOI link: https://doi.org/10.1007/s11036-017-0808-y
Published Online: 2017-01-26
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Uddin, Ijaz
Rakib, Abdur http://orcid.org/0000-0001-5430-450X
Haque, Hafiz Mahfooz Ul
License valid from 2017-01-26