..............page:1633-1647
..............page:1648-1661
..............page:1662-1670
..............page:1671-1677
..............page:1678-1686
..............page:1687-1696
..............page:1697-1704
..............page:1705-1719
..............page:1720-1731
..............page:1732-1738
..............page:1739-1748
..............page:1749-1755
..............page:1756-1768
..............page:1769-1778
..............page:1779-1787
..............page:1788-1798
..............page:1799-1810
..............page:1811-1821
..............page:1822-1827
..............page:1828-1834
..............page:1835-1846
..............page:1847-1856
Formal modeling and analyzing high-confidence software of cyber-physical systems
YU Zhen-hua;CAI Yuan-li;FU Xiao;XIE Wen-jun;XU Hai-ping;School of Information and Navigation;Air Force Engineering University;Science and Technology on Aircraft Control Laboratory;School of Electronic and Information Engineering;Xi’an Jiaotong University;Department of Computer and Information Science;University of Massachusetts Dartmouth;North Dartmouth 02747;USA;
..............page:1857-1867
..............page:1868-1874
..............page:1875-1884
..............page:1885-1894
..............page:1895-1903
..............page:1904-1910
..............page:1911-1915
..............page:1916-1920