1.A PREDICATE-TRANSITION NET MODEL FOR PARALLEL INTERPRETATION OF LOGIC PROGRAMS
MURATA, T, ZHANG, D
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 1988, Volume 14, Issue 4, Pages 481-497
收錄情况： WOS SCOPUS
WOS核心合集引用: 56 2023影響因子: 6.5
2.An Approach to Animating Model-Based Object-Oriented Formal Specifications
Krzysztof Czarnecki, More...
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 1999,
2023影響因子: 6.5 发表年影響因子: 1.312
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫