Abstract: Formal methods are a category of rigorous mathematical techniques that can enhance the information on the conduct of computer structures. Computerized Deduction (advert) is a declarative ...
Abstract: Transformation of the aviation sector towards climate-neutral solutions such as electrification is urgent. Aviation electrification requires reasoned selection of suitable technologies which ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results