A clock-based dynamic logic for schedulability analysis of...

Science of Computer Programming 2021 / 02 Vol. 202

A clock-based dynamic logic for schedulability analysis of CCSL specifications

Zhang, Yuanrui, Mallet, Frédéric, Zhu, Huibiao, Chen, Yixiang, Liu, Bo, Liu, Zhiming
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:
202
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2020.102546
Date:
February, 2021
File:
PDF, 800 KB
2021
Conversion to is in progress
Conversion to is failed