Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alessandro Carioni
A Scenario-Based Validation Language for ASMs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Scenario-Based Validation of Requirements for Context-Aware Adaptive Services
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
A Scenario-Based Distributed Testing Model for Software Applications
International Journal of ADVANCED AND APPLIED SCIENCES
Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study
A Scenario Tree-Based Decomposition for Solving Multistage Stochastic Programs
