Formal verification of Simulink/Stateflow diagrams a deductive approach 著者: Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Implementing polytope projects for smart systems 著者: Iordache, Octavian

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Soft robotics trends, applications and challenges : proceedings of the Soft Robotics Week, April 25-30, 2016, Livorno, Italy

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Designing with Xilinx FPGAs using Vivado

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Whole body interaction with public displays 著者: Walter, Robert

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Intelligent data analysis and applications proceedings of the Third Euro-China Conference on Intelligent Data Analysis and Applications, ECC 2016

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Dialogues with social robots enablements, analyses, and evaluation

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Computational neurology and psychiatry

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Internet of Things -- from hype to reality the road to digitization 著者: Rayes, Ammar, Salam, Samer

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Model-implementation fidelity in cyber physical system design

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy