0tuloqKT5chQTMQ5gT709hfY2RhgaQa0Ie3OlHb19QneUim832KneVy5Rxoz
Current position: Home >> Scientific Research >> Paper Publications

A mechanism of function calls in MSVL

Hits:

Institution:计算机学院

Title of Paper:A mechanism of function calls in MSVL

Journal:THEORETICAL COMPUTER SCIENCE

First Author:Zhang, Nan^Duan, Zhenhua^Tian, Cong

Document Code:SCI WOS:000389732200003

Volume:654

Page Number:11-25

ISSN:0304-3975

Translation or Not:No

Date of Publication:2016-01-01

Included Journals:SCI

Date:2018-06-08

Prev One:Verifying safety critical task scheduling systems in PPTL axiom system