Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gabor Karsai
Deliberative, Search-Based Mitigation Strategies for Model-Based Software Health Management
Innovations in Systems and Software Engineering
Software
Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft
ACM SIGBED Review
Engineering
Computer Science
An Analytical Framework for Smart Manufacturing
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Rapid Property Specification and Checking for Model-Based Formalisms
An Approach to Self-Adaptive Software Based on Supervisory Control
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Approach for Intelligent Control
