Abstract: This work develops a runtime verification framework to inspect the conformity of tactical data link (TDL) with essential safety requirements. Firstly, the framework dissects the raw binary ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results