Abstract: Statistical model checking (SMC) is used as a method for examining system be havior in all possible scenarios, and it has been successfully implemented in embedded automotive systems, sensor ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results