Formal Specification and Automatic Verification of Conditional Commitments

El Kholy, W., El-Menshawy, M., Bentahar, J. et al. (2 more authors) (2015) Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intelligent Systems, 30 (2). 36 - 44. ISSN 1541-1672

Abstract

Metadata

Item Type: Article
Authors/Creators:
  • El Kholy, W.
  • El-Menshawy, M.
  • Bentahar, J.
  • Qu, H.
  • Dssouli, R.
Copyright, Publisher and Additional Information:

© 2015 IEEE. This is an author produced version of a paper subsequently published in IEEE Inteligent Systems. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 1 March 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 19 May 2015 13:04
Last Modified: 27 Mar 2018 06:32
Published Version: http://dx.doi.org/10.1109/MIS.2015.6
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: 10.1109/MIS.2015.6
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)