𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - An approach for design and formal verification of safety-critical software

✍ Scribed by Wei-gang Ma, ; Hei, Xin-hong

Book ID: 121790715
Publisher: IEEE
Year: 2010
Weight: 618 KB
Category: Article
ISBN: 1424472350
DOI: 10.1109/ICCASM.2010.5620084

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) -

✍ Minliang Li, ; Dahai Han, ; Songwei Ma, 📂 Article 📅 2010 🏛 IEEE ⚖ 904 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Overview of swarm intelligence

✍ Yan-fei Zhu, ; Xiong-min Tang, 📂 Article 📅 2010 🏛 IEEE ⚖ 664 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - An improving simulating fishing algorithm

✍ Yong, Wang; He De-niu, ; Guan Yi-jun, 📂 Article 📅 2010 🏛 IEEE ⚖ 254 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Research on smart grid technology

✍ Zhou Xue-song, ; Cui Li-qiang, ; Ma You-jie, 📂 Article 📅 2010 🏛 IEEE ⚖ 426 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - An open CNC controller based on LabVIEW software

✍ Yang, Weidong; Gao Zhanbiao, 📂 Article 📅 2010 🏛 IEEE ⚖ 613 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - Taiyuan, China (2010.10.22-2010.10.24)] 2010 International Conference on Computer Application and System Modeling (ICCASM 2010) - An effective fractal image compression algorithm

✍ Zhuang Wu, ; Bixi Yan, 📂 Article 📅 2010 🏛 IEEE ⚖ 565 KB