-
1
Multicore simulation of power system transients
Pubblicazione 2013Available 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 -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
Formal analysis of a space-craft controller using SPIN.
Pubblicato in IEEE Transactions on software engineeringArticolo


