1.An Approach to Animating Model-Based Object-Oriented Formal Specifications
Krzysztof Czarnecki, More...
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 1999,
2022影響因子: 7.4 发表年影響因子: 1.312
2.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核心合集引用: 55 2022影響因子: 7.4
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫