Login / Signup
Schedulability Analysis Abstractions for Safety Critical Java.
Thomas Bøgholm
Bent Thomsen
Kim G. Larsen
Alan Mycroft
Published in:
ISORC (2012)
Keyphrases
</>
source code
safety analysis
databases
machine learning
information systems
case study
learning environment
cooperative
expert systems
control system