Safety-critical Java programs from Circus models.

Ana Cavalcanti Frank Zeyda Andy J. Wellings Jim Woodcock Kun Wei

Published in: Real Time Syst. (2013)

Keyphrases

java programs
safety critical
real time
expert systems
data model
decision makers
embedded systems