Login / Signup

A formal model for the analysis and verification of a pre-emptive round-robin arbiter.

Imene Ben HafaiedhMaroua Ben SlimaneRiadh Robbana
Published in: Int. J. Crit. Comput. Based Syst. (2018)
Keyphrases
  • formal model
  • round robin
  • data analysis
  • genetic algorithm
  • domain knowledge
  • formal models
  • security properties