PhD - Modeling and Verification of Functional and Non Functional Requirements of Ambient, Self-Adaptive Systems

Authors

Post-Graduation Jury: João Araújo
Post-Graduation by: Manzoor Ahmad
Post-Graduation Supervisor: Jean Michel Bruel