Specification Approach using GR-TNCES: Application to an Automotive Transport System.

Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Browse the full ICSoft paper archive.