共 50 条
- [41] An Online Model Checking Tool for Safety and Liveness Bugs [J]. PROCEEDINGS OF THE 2008 14TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, 2008, : 493 - +
- [45] DRIVING IN THE CONTEXT OF DEMENTIA: PROMOTING PUBLIC SAFETY WHILE PRESERVING INDEPENDENCE [J]. GERONTOLOGIST, 2016, 56 : 516 - 516