Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anila Mjeda
Model-Based Testing Design for Embedded Automotive Software
Related publications
Resilient Interface Design for Safety-Critical Embedded Automotive Software
Model-Based Software Testing for Object-Oriented Software
E-Learning
Computer Science Applications
Education
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
A Scenario-Based Distributed Testing Model for Software Applications
International Journal of ADVANCED AND APPLIED SCIENCES
AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software
Pragmatic Strategies for Adopting Model-Based Design for Embedded Applications
Design and Simulation of a Software Robustness Testing Model
Effective Embedded Systems Software Design Methodologies
A Baseline-Based BIST Design Model for Software Testability
