scheduling semantics

Liu, C., Cofer, D. D., & Mercer, E. (2022). Assume-Guarantee Reasoning with Scheduled Components. In J. Babar, I. Amundson, & K. Hoech (Eds.), NASA Formal Methods (pp. 355–372). Springer Nature Switzerland. http://doi.org/10.1007/978-3-031-06773-0_19
View
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.