10 results on '"Cerone, Antonio"'
Search Results
2. Model mining
3. An empirical verification of a-priori learning models on mailing archives in the context of online learning activities of participants in free\libre open source software (FLOSS) communities
4. Guest editorial to the special section on SEFM 2009
5. Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
6. Editorial
7. Guest Editorial
8. Formal methods for interactive systems
9. Formal analysis of human operator behavioural patterns in interactive surveillance systems
10. Property verification of asynchronous systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.