Doron Drusinsky Doron Drusinsky Associate Professor Research Areas - Logic in computer science - Document - PDFSEARCH.IO

First Page	Meta Content
	Doron Drusinsky Doron Drusinsky Associate Professor Research Areas Add to Reading List Document Date: 2013-06-21 18:22:02 Open Document File Size: 42,93 KB Share Result on Facebook Company CARA Software / Drusinsky Doron Drusinsky Associate Professor Research Areas Software / Embedded Systems / Oracle / / Country Italy / / IndustryTerm safety critical systems / security applications / real-time constraint validation / / Organization National Aeronautics and Space Administration / National Park Service / Department of Defense / / Person M. Shing / V / / ProvinceOrState Sicily / / Technology http / simulation / / URL http / SocialTag Formal verification Temporal logic Verification Mathematics Formal methods Logic in computer science Model checking

Doron Drusinsky Doron Drusinsky Associate Professor Research AreasAdd to Reading List