LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Nghiên cứu » Bài báo khoa học
Sách
Soạn thảo sách
Bài báo khoa học
Chương sách
Bài hội thảo khoa học
Các bài báo va hội thảo khác
Luận án tiến sĩ khoa học
Luận án tiến sĩ

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
Sơ đồ site |