-
35311
Formal analysis of a space-craft controller using SPIN.
Gepubliceerd in IEEE Transactions on software engineeringArtikel -
35312
-
35313
Creating conversational interfaces for children.
Gepubliceerd in IEEE Transactions on speech and audio processingArtikel -
35314
-
35315
-
35316
-
35317
-
35318
UI mockups, user experience tips, JavaScript checker and more.
Gepubliceerd in MSDN magazineArtikel -
35319
-
35320