Digital human modeling: third international conference ; proceedings by HCI International, Orlando, Fla.), ICDHM, Orlando, Fla.) fromLecture Notes in Computer Science 0 Type: Book
Leveraging applications of formal methods, verification, and validation fromLecture Notes in Computer Science 0 Type: Book
Leveraging applications of formal methods, verification, and validation fromLecture Notes in Computer Science 0 Type: Book