Formal semantics of Message Sequence Charts

S. Mauw, M.A. Reniers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Formal semantics of Message Sequence Charts'. Samen vormen ze een unieke vingerafdruk.

Engineering en materiaalwetenschappen