Integration of Specification for Modeling and Specification for System Design.

TitleIntegration of Specification for Modeling and Specification for System Design.
Publication TypeConference Paper
Year of Publication1993
AuthorsC-Y Wang, and KS Trivedi
Conference NameApplication and Theory of Petri Nets
Date Published01/1993