,
Verification of Cyberphysical Transportation Systems.
IEEE Intelligent Systems, 24 (4): 10-13 (2009)
Метаданные
тэги
- air
- aspects;
- automated
- car
- computing;
- control
- control;
- cyber
- cyberphysical
- debugging;
- design;
- engineering
- field;
- formal
- highways;
- hoc
- intelligent
- methods;
- next-generation
- physical
- program
- railway
- railways;
- road
- software
- system
- systems;
- technology
- testing;
- traffic
- trafficad
- transportation
- verification;
