A Verified Implementation of Priority Monitors in Java.

Ángel Herranz-Nieva Julio Mariño

Published in: FoVeOOS (2011)

Keyphrases

efficient implementation
data sets
neural network
web applications
java virtual machine
real time
information systems
website
high level
object oriented
programming language
open source
java language