The Safety-Critical Java memory model formalised.

Ana Cavalcanti Andy J. Wellings Jim Woodcock

Published in: Formal Aspects Comput. (2013)

Keyphrases

databases
decision support system
web services
management system
object oriented
knowledge acquisition