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 (online): 12 January 2015
  • Published: 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)
Date Deposited: 19 May 2015 13:04
Last Modified: 23 May 2026 05:14
Status: Published
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Refereed: Yes
Identification Number: 10.1109/MIS.2015.6
Open Archives Initiative ID (OAI ID):

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)