-
1
Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 2015Faigh an téacs iomlán
Faigh an téacs iomlán
Electronic Resource -
8
Specification of software systems
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
9
-
10