Document
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems
Generically Dependent Continuant
Article
Information Content Entity
Conference Paper
RDF description of DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems - http://irises.uninsubria.it/resource/item/206710