News

One key to success for high quality systems developments is to verify not only functional requirements but also the security requirements at the early stage of developments. However, it is difficult ...
However, there are few studies on how to represent them. This paper focuses on representation using functional decomposition and decision diagrams, as a steppingstone to find a compact representation ...