Sciweavers

TASE
2010
IEEE

Verification of a Timed Multitask System With Uppaal

13 years 4 days ago
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large
Houda Bel Mokadem, Béatrice Bérard,
Added 21 May 2011
Updated 21 May 2011
Type Journal
Year 2010
Where TASE
Authors Houda Bel Mokadem, Béatrice Bérard, V. Gourcuff, O. De Smet, J. Roussel
Comments (0)