LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » بـحــث » إصدارات
كتـب
إصدار كـتب
مـنشـورات في مـجلات
فصـول في كـتب
منشورات
مـنـشـورات أخـرى
تراخيص
مـذكرات

Verification of an evaporator system with Uppaal

Type : Journal Article

Year : 2005

Secondary Title : Journal Européen des Systèmes Automatisés

Volume : 39

Number : 9-10

Pages : 1079-1098

Authors : Ben Gaid, Mongi Bérard, Béatrice De Smet, Olivier

 Mentions légales
| خـريـطـة المـوقـع