Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cristina Timò Pieri
Semantic Models for Automated Medical Care Testing and Diagnosis Checking
Japanese journal of AMHTS
Related publications
Testing and Model-Checking Techniques for Diagnosis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Sania: Syntactic and Semantic Analysis for Automated Testing Against SQL Injection
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Diagnosis and Management in Health Testing System
Japanese journal of MHTS
Fast Generic Sensor Models for Testing Highly Automated Vehicles in Simulation
Elektrotechnik und Informationstechnik
Electronic Engineering
Electrical
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Checking and Editing of LaTeX Manuscripts
ScienceAsia
Multidisciplinary
Business Models & Business Cases for Point-Of-Care Testing
