Search results for: Cristina Seceleanu
Journal of Ambient Intelligence and Humanized Computing > 2019 > 10 > 7 > 2519-2535
Procedia Computer Science > 2017 > 109 > C > 424-431
Science of Computer Programming > 2017 > 133 > P2 > 216-242
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 82-96
Lecture Notes in Computer Science > Component-Based Software Engineering > Component-Based Embedded Systems > 55-73