Specifying Services with UML and UML-RT

DOI10.1016/S1571-0661(04)80483-3zbMath1268.68113MaRDI QIDQ2841316

Ingolf Krüger

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A survey of stream processing
• Specification and Development of Interactive Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specifying Services with UML and UML-RT