Requirement specification and model-checking of a real-time scheduler implementation.

Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche

Browse the full RTNS paper archive.