The Safety-Critical Java Memory Model: A Formal Account.

Ana Cavalcanti Andy J. Wellings Jim Woodcock

Published in: FM (2011)

Keyphrases

high level
decision making
artificial intelligence
object oriented