2 search results - page 1 / 1 » Process Algebra for Modal Transition Systemses |
128
Voted
MEMICS
2010
15 years 17 days ago
2010
140
click to vote
ECLIPSE
2007
ACM
15 years 9 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 ...