EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax.

Bob de Vos Lennart C. L. Kats Cornelis Pronk

Published in: SPIN (2011)

Keyphrases

open source
source code
development environments
software projects
electric vehicle charging
open source projects
database systems
neural network
information technology
information systems
data sets
knowledge discovery
case based reasoning
object oriented
long term
lightweight
cooperative
machine learning