Models for Safety-Critical Java Programs.

Frank Zeyda Lalkhumsanga Lalkhumsanga Ana Cavalcanti Andy J. Wellings

Published in: Comput. J. (2014)

Keyphrases

java programs
safety critical
high level
metamodel
expert systems
learning systems
formal methods