Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets
Keyword(s):
1997 ◽