Induction in the timed interval calculus (Q1399964): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4692471 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4494114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duration calculus: Logical foundations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4213375 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128862 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3680239 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3126783 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A specification-oriented semantics for the refinement of real-time systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of durations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybrid systems / rank | |||
Normal rank |
Latest revision as of 18:55, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Induction in the timed interval calculus |
scientific article |
Statements
Induction in the timed interval calculus (English)
0 references
30 July 2003
0 references
Real-time specification and reasoning
0 references
interval logic
0 references
temporal logic
0 references
induction
0 references
timed traces
0 references