Plausibility Checking of Formal Business Process. Specifications in Linear Temporal Logic. Christoph Czepa1, Huy Tran1, Uwe Zdun1,. Thanh Tran Thi Kim2, ...
確定! 回上一頁