Specifying Services with UML and UML-RT
From MaRDI portal
Publication:2841316
DOI10.1016/S1571-0661(04)80483-3zbMath1268.68113MaRDI QIDQ2841316
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work