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

Fateh Boutekkouk, Mohamed Benmohammed

Browse the full ICECCS paper archive.