CrEStO: A Tool for Synthesizing Stateful Priorities

  1. Herrera, C.
  2. Cruz, N.
  3. Quintero, R.
Aktak:
Proceedings - 16th European Dependable Computing Conference, EDCC 2020

ISBN: 9781728189369

Argitalpen urtea: 2020

Proceedings - 16th European Dependable Computing Conference, EDCC 2020

Orrialdeak: 143-146

Mota: Biltzar ekarpena

DOI: 10.1109/EDCC51268.2020.00031 GOOGLE SCHOLAR
Datuen iturria: Scopus