"Creating and Validating Embedded Assertion Statecharts."

Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir (2007)

Details and statistics

DOI: 10.1109/MDSO.2007.25

access: closed

type: Journal Article

metadata version: 2022-06-13