Sciweavers

Share
TASE
2010
IEEE

Verification of a Timed Multitask System With Uppaal

9 years 6 months 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)
books