Date: 2015-04-10 06:06:57

University of Camerino

Computer science

Institute of Science and Technology Austria

Agent-based model

Runtime verification

Edmund M. Clarke

Systems engineering

Academia

Software development

Science

Formal methods

Logic in computer science

Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender:

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 2,70 MB