Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.评价结果

评估详情