Formal Model-Based Synthesis of Application-Specific Static...

ACM Transactions on Embedded Computing Systems 2017 / 05 Vol. 16; Iss. 4

Formal Model-Based Synthesis of Application-Specific Static RTOS

Tigori, Kabland Toussaint Gautier, Béchennec, Jean-Luc, Faucou, Sébastien, Roux, Olivier Henri
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
16
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3015777
Date:
May, 2017
File:
PDF, 1.16 MB
english, 2017
Conversion to is in progress
Conversion to is failed