Extending Timed Abstract State Machines for Real-Time Embedded Software
SHAN Jinhui, ZHANG Lu, WANG Jinbo, ZHANG Tao
Acta Scientiarum Naturalium Universitatis Pekinensis . 2019, (2): 197 -208 .  DOI: 10.13209/j.0479-8023.2019.005

Copyright © Acta Scientiarum Naturalium Universitatis Pekinensis, All Rights Reserved.
Powered by Beijing Magtech Co., Ltd.