Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '"duration calculus"', query time: 2.05s Refine Results
  1. 1
    Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE
    by Muhammad Abdul Basit Ur Rehman, Fahim Arif
    Published 2016-01-01
    “... the framework by applying it on a case study of fuel filling machine. We have defined DC (Duration Calculus...”
    Get full text
    Article
  2. 2
    An Interval Temporal Logic for Time Series Specification and Data Integration
    by Piotr Kosiuczenko
    Published 2021-06-01
    Subjects: “...duration calculus...”
    Get full text
    Article
  3. 3
    Multi-Sensor Systems and Data Fusion in Remote Sensing
    Published 2023
    Subjects: “...duration calculus...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  4. 4
    Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
    by Paritosh K. Pandya, Amol Wakankar
    Published 2019-09-01
    “... using formulas of logic Quantified Discrete Duration Calculus (QDDC). The specification consists of a...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search