GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.

Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Browse the full ICSoft paper archive.