Future Generation Computer Systems · 2019 · 33 citations · 25 references
Model-based System EngineeringEngineeringFormal ModelingVerificationDesignIndustrial InternetIndustrial IotSystems EngineeringModel-based ApproachModel VerificationIot ArchitectureInternet Of ThingsIndustrial InformaticsFormal Verification
25
Internet of Things in Industries: A Survey
Li Da Xu, Wu He, Shancang Li · IEEE Transactions on Industrial Informatics · 2014 · 5K citations
Integration of Cloud computing and Internet of Things: A survey
Alessio Botta, Walter de Donato, Valerio Persico et al. · Future Generation Computer Systems · 2015 · 2.3K citations