2 search results - page 1 / 1 » Process Algebra for Modal Transition Systemses |
116
click to vote
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 ...