-
15831
-
15832
-
15833
A framework for predictive modeling of anatomical deformations.
Gepubliceerd in IEEE Transactions on medical imagingArtikel -
15834
Formal analysis of a space-craft controller using SPIN.
Gepubliceerd in IEEE Transactions on software engineeringArtikel -
15835
On metrics for comparing interconnect estimation methods for FPGAs.
Gepubliceerd in IEEE Transactions on VLSI systemsArtikel -
15836
-
15837
-
15838
-
15839
-
15840