Report - TTL : a formalism to describe local and global properties ... · locales de parties de systèmes. La théorie LTTD possède un mécanisme pour déduire des propriétés globales du

Please pass captcha verification before submit form