Sciweavers

ICECCS
2009
IEEE

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

14 years 6 months ago
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
Fateh Boutekkouk, Mohamed Benmohammed
Added 23 May 2010
Updated 23 May 2010
Type Conference
Year 2009
Where ICECCS
Authors Fateh Boutekkouk, Mohamed Benmohammed
Comments (0)