Software Engineering
Component-Based Embedded Systems.
Formal Methods.
Software Systems Verification and Validation.