Organising LTL monitors over distributed systems with a global clock (Q681471): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10703-016-0251-x / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2374477971 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rule Systems for Run-time Monitoring: from EAGLE to RULER / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparing LTL Semantics for Runtime Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decentralised LTL monitoring / rank
 
Normal rank
Property / cites work
 
Property / cites work: Organising LTL monitors over distributed systems with a global clock / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timing analysis of the flexRay communication protocol / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536600 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Distributed system contract monitoring / rank
 
Normal rank
Property / cites work
 
Property / cites work: A brief account of runtime verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002642 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Advanced automata minimization / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Merits of Temporal Testers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754087 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10703-016-0251-X / rank
 
Normal rank

Latest revision as of 00:41, 10 December 2024

scientific article
Language Label Description Also known as
English
Organising LTL monitors over distributed systems with a global clock
scientific article

    Statements

    Identifiers