A research team led by Academician Zhu Jiaojun from the Institute of Applied Ecology (IAE) of the Chinese Academy of Sciences ...
Palm Tree Detection in Tongatapu for Carbon Credit Estimation Since its last major review in 2012, the Portal has evolved ...
This technical report proposes a formal semantics for EMV2 and shows how to leverage this semantics to generate fault trees from an AADL model enriched with EMV2 information.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback