학술논문
Distributed runtime verification by past-CTL and the field calculus
Document Type
Article
Author
Source
In: Journal of Systems and Software . (Journal of Systems and Software, May 2022, 187)
Subject
Language
English
ISSN
01641212