This work introduces an approach to formally describe Sequence Diagrams with Combined Fragments in terms of the input language of the model checker NuSMV, ...
確定! 回上一頁