Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways

By Austin Mark A.   Johnson John  

Systems, Vol. 6, Iss. 1, 2018-01 ,pp. : 2-2

MDPI

Access to resources Recommend Favorite

MODIS-Based Monthly LST Products over Amazonia under Different Cloud Mask Schemes

By Gomis-Cebolla José   Jiménez-Muñoz Juan C.   Sobrino José A.  

Data, Vol. 1, Iss. 2, 2016-07 ,pp. : 2-2

MDPI

Access to resources Recommend Favorite

The LAB-Net Soil Moisture Network: Application to Thermal Remote Sensing and Surface Energy Balance

By Mattar Cristian   Santamaría-Artigas Andrés   Durán-Alarcón Claudio   Olivera-Guerra Luis   Fuster Rodrigo   Borvarán Dager  

Data, Vol. 1, Iss. 1, 2016-06 ,pp. : 6-6

MDPI

Access to resources Recommend Favorite

A New Integrated High-Latitude Thermal Laboratory for the Characterization of Land Surface Processes in Alaska’s Arctic and Boreal Regions

By Cristóbal Jordi   Graham Patrick   Buchhorn Marcel   Prakash Anupma  

Data, Vol. 1, Iss. 2, 2016-09 ,pp. : 13-13

MDPI

Access to resources Recommend Favorite

Laboratory Validation of Inertial Body Sensors to Detect Cigarette Smoking Arm Movements

By Raiff Bethany R.   Karataş Çağdaş   McClure Erin A.   Pompili Dario   Walls Theodore A.  

Electronics, Vol. 3, Iss. 1, 2014-02 ,pp. : 87-110

MDPI

Access to resources Recommend Favorite