A Formal Model of the Safety-Critical Java Level 2 Paradigm.

Matt Luckcuck Ana Cavalcanti Andy J. Wellings

Published in: IFM (2016)

Keyphrases

formal model
safety critical
formal methods
programming language
safety analysis
nuclear power plant
real time
security properties
information systems
web services
learning environment
decision makers
fault tolerant
support systems
security patterns