Sign in

The Safety-Critical Java memory model formalised.

Ana CavalcantiAndy J. WellingsJim Woodcock
Published in: Formal Aspects Comput. (2013)
Keyphrases
  • databases
  • decision support system
  • web services
  • management system
  • object oriented
  • knowledge acquisition