Predicate diagrams for the verification of real-time systems (Q2642985): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The B-Book / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of timed automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4532077 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4518895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2709808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstractions from proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4873991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analysis of timed systems using time-abstracting bisimulations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kronos: A verification tool for real-time systems / rank | |||
Normal rank |
Latest revision as of 14:48, 26 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Predicate diagrams for the verification of real-time systems |
scientific article |
Statements
Predicate diagrams for the verification of real-time systems (English)
0 references
6 September 2007
0 references
verification of parameterized systems
0 references