Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Enrico Vicario
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks
ACM Transactions on Cyber-Physical Systems
Control
Human-Computer Interaction
Computer Networks
Hardware
Communications
Optimization
Architecture
Artificial Intelligence
