Analyzing Schedulability of Astral Specifications using Extended Timed Automata

@inproceedings{Brink1997AnalyzingSO,
  title={Analyzing Schedulability of Astral Specifications using Extended Timed Automata},
  author={K. Brink and Jan van Katwijk and R. F. Lutje Spelberg and Hans Toetenel},
  booktitle={Euro-Par},
  year={1997}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…