Commit 4a80f261 authored by Björn Brandenburg's avatar Björn Brandenburg

model reorg: move TDMA facts to analysis

parent ba758466
Require Export rt.restructuring.model.schedule.tdma.tdma.
Require Export rt.restructuring.model.schedule.tdma.
Require Import rt.util.all.
(** In this section, we define the properties of TDMA and prove some basic lemmas. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment