| Document Date: 2014-09-24 07:11:04
Open Document File Size: 2,02 MBShare Result on Facebook
City Vasteras / / Company Dell / / Country China / Sweden / / Currency USD / / / Facility Nanjing University / / IndustryTerm real-world applications / self-adaptive robot-car application / self-adaptive software systems / aforementioned self-adaptive robot-car application / self-adaptive applications / selfadaptive applications / robotcar self-adaptive applications / dependable self-adaptive applications / robot-car move / imperfect sensing technologies / contextsensitive software / robot-car example / robot-car application / car walk / Real-world self-adaptive applications / example robot-car application / robot-car applications / realistic applications / robot-car walks / software engineering community / robot-car application case study / car bumps / conventional applications / real-life self-adaptive applications / / OperatingSystem Windows 7 / / Organization Nanjing University / Nanjing / US Federal Reserve / Hong Kong Univ. of Sci / National Natural Science Foundation / State Key Lab / / Person Jian Lu / Permission / Chun Cao / Xiaoxing Ma / / Position author / representative / forward for a distance unit / General / / ProgrammingLanguage L / R / C / / Technology 1 Verification algorithm / r5 r2 Algorithm / imperfect sensing technologies / simulation / / URL http /
SocialTag |
Verifying Self-adaptive Applications Suffering Uncertainty Wenhua Yang§†, Chang Xu§†∗, Yepang Liu‡, Chun Cao§†, Xiaoxing Ma§†, Jian Lu§† § State Key Lab for Novel Soft. Tech., Nanjing University, Nanj