From Live Sequence Charts to State Machines and Back: A Guided Tour

Research output: Contribution to journalArticle

Search results