-
31
SysML for systems engineering a model-based approach
Опубликовано 2018Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
Electronic Resource -
32
Automated validation & verification of UML/OCL models using satisfiability solvers
Опубликовано 2018Available 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
Electronic Resource -
33
Personal assistants emerging computational technologies
Опубликовано 2018Available 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
Electronic Resource -
34
-
35
-
36
-
37
-
38
Safety-critical electrical drives topologies, reliability, performance
Опубликовано 2018Available 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
Electronic Resource -
39
-
40
Formal system verification state-of-the-art and future trends
Опубликовано 2018Available 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
Electronic Resource