English | 繁體

Search in the results

UM

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs Journal article
Savi Mi, Judi Romijn, Carron Shankland. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs[J]. Formal Aspects of Computing, 2003, 15(1), 84-99.
Authors:  Savi Mi;  Judi Romijn;  Carron Shankland
Favorite | TC[Scopus]:4  IF:1.4/1.3 | Submit date：2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire