-
1
Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
Cyhoeddwyd 2020Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
2
Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
Cyhoeddwyd 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 -
3
Formal methods for safety and security case studies for aerospace applications
Cyhoeddwyd 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 -
4
Languages, design methods, and tools for electronic system design selected contributions from FDL 2014
Cyhoeddwyd 2016Available 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 -
5
Languages, design methods, and tools for electronic system design selected contributions from FDL 2015
Cyhoeddwyd 2016Available 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 -
6
Languages, design methods, and tools for electronic system design selected contributions from FDL 2013
Cyhoeddwyd 2015Available 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 -
7
Principles of cyber-physical systems
Cyhoeddwyd 2015Cael y testun llawn
Cael y testun llawn
Electronic Resource -
8
Specification of software systems
Cyhoeddwyd 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
9
-
10