--- layout: fc_discuss_archives title: Message 100 from Frama-C-discuss on January 2014 ---
Bonjour Claude, Le 28/01/2014 08:55, Claude March? a ?crit : > You may be interested in this recent case study conducted in part with > Frama-C > > http://www.es.mdh.se/publications/3408-Evaluating_the_Run_Time_Performance_of_Synthesised_Resource_Reservation_Schedulers_Using_TAtoC__UPPAAL_and_Frama_C Merci pour l'article ! Bonne journ?e, david