Java implementation platform for the integrated state- and event-based specification in PROB.

L. Yang Michael R. Poppleton

Published in: Concurr. Comput. Pract. Exp. (2010)

Keyphrases

real time
state space
open source
specification language
event driven
object oriented
general purpose
neural network
source code
web applications
lightweight
formal specification
platform independent
code generation
cross platform
java programs