Sciweavers

ICECCS
2009
IEEE

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

15 years 3 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)