Realizability of Service Specifications

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01042-3_8 ◽

2018 ◽

pp. 127-143 ◽

Cited By ~ 1

Author(s):

Mohammad F. Al-hammouri ◽

Gregor von Bochmann

Download Full-text