2 search results - page 1 / 1 » Process Algebra for Modal Transition Systemses |
108
Voted
MEMICS
2010
14 years 10 months ago
2010
119
Voted
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...