University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Manaf, N"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Manaf, NA, Moschoyiannis, Sotiris and Krause, Paul (2015) Service Choreography, SBVR, and Time Proceedings CONCUR 2015 - FOCLASA, EPTCS 201. pp. 63-77.

Conference or Workshop Item

Moschoyiannis, Sotiris, Maglaras, Leandros and Manaf, Nurulhuda A (2019) Trace-based Verification of Rule-based Service Choreographies In: The 11th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2018), 20-22 Nov 2018, Paris, France.

Manaf, Nurulhuda A., Antoniades, Andreas and Moschoyiannis, Sotiris (2018) SBVR2Alloy: an SBVR to Alloy compiler In: 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017), 22-25 Nov 2017, Kanazawa, Japan.

This list was generated on Thu Feb 20 21:58:35 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800