DocumentCode :
2710263
Title :
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems
Author :
Ouimet, Martin ; Lundqvist, Kristina
fYear :
2007
fDate :
4-7 Dec. 2007
Firstpage :
567
Lastpage :
567
Keywords :
Analytical models; Australia; Computational modeling; Failure analysis; ISO standards; Phase measurement; Predictive models; Real time systems; Software debugging; Time measurement;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific
Conference_Location :
Nagoya, Aichi, Japan
ISSN :
1530-1362
Print_ISBN :
0-7695-3057-5
Type :
conf
DOI :
10.1109/ASPEC.2007.117
Filename :
4425910
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2710263
بازگشت