Abstract: Software systems for automating safety-critical tasks in application domains like, for example, avionics, railways, automotive, industry 4.0 and healthcare, must be highly reliable. In this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results