Search Results - "Aspetakis, Dimitrios"
-
1
Authors: et al.
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Formal verification, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Ada SPARK, Embedded GPGPUs, Safety critical systems
File Description: application/pdf
Nájsť tento článok vo Web of Science