-
1581
Generating optimal distinguishing sequences with a model checker.
Xuất bản năm Software engineering notes.Bài viết -
1582
-
1583
-
1584
-
1585
-
1586
-
1587
-
1588
-
1589
-
1590
Experimental performance evaluation of Profibus-FMS.
Xuất bản năm IEEE Robotics and automation magazineBài viết