Modularity for timed and hybrid systems (Q6044109): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The algorithmic analysis of hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Appraising fairness in languages for distributed programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Liveness in timed and untimed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sooner is safer than later / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic model checking for real-time systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the synthesis of discrete controllers for timed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3700812 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supervisory Control of a Class of Discrete Event Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verifying abstractions of timed systems / rank
 
Normal rank

Latest revision as of 03:37, 1 August 2024

scientific article; zbMATH DE number 7686614
Language Label Description Also known as
English
Modularity for timed and hybrid systems
scientific article; zbMATH DE number 7686614

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references