排序方式:
    總頁 1 
      Go

    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 

    顯示      條  合計   2   條
      總頁 1 
        Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫