Abstract: Establishing formal modeling and verification methods for requirements has become the key to enhancing avionics software’s safety and development efficiency. As the mainstream modeling ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results