Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu - Extended finite-state machine - Document - PDFSEARCH.IO

First Page	Meta Content
	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Document Date: 2014-02-06 15:50:38 Open Document File Size: 622,45 KB Share Result on Facebook Facility When building / / IndustryTerm model extraction algorithm / extraction algorithm / web application / / Position black-box and white-box model inference Guard / Guard / / Technology EFSM extraction algorithm / model extraction algorithm / JSP / / URL http / SocialTag Computer science Applied mathematics Extended finite-state machine Theory of computation Algorithm Assignment Models of computation Software engineering Formal methods

Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.euAdd to Reading List