Timed Rebeca schedulability and deadlock freedom analysis...

Science of Computer Programming 2015 / 02 Vol. 98

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Khamespanah, Ehsan, Sirjani, Marjan, Sabahi Kaviani, Zeynab, Khosravi, Ramtin, Izadi, Mohammad-Javad
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:
98
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2014.07.005
Date:
February, 2015
File:
PDF, 1.50 MB
english, 2015
Conversion to is in progress
Conversion to is failed