A logic of behaviour in context (Q2453209): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Anytime, anywhere / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4248252 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational Methods in Systems Biology / rank
 
Normal rank
Property / cites work
 
Property / cites work: The benefits of relaxing punctuality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elimination of quantifiers and undecidability in spatial logics for concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods for Components and Objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures / rank
 
Normal rank
Property / cites work
 
Property / cites work: On temporal logic constraint solving for analyzing numerical data time series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robust Satisfaction of Temporal Logic over Real-Valued Signals / rank
 
Normal rank

Latest revision as of 13:54, 8 July 2024

scientific article
Language Label Description Also known as
English
A logic of behaviour in context
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references