𝔖 Bobbio Scriptorium

✦ LIBER ✦

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

✍ Scribed by Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus

Book ID: 122480084
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 453 KB
Volume: 81
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.08.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special issue on Automated Verification

Special issue on Automated Verification of Critical Systems (AVoCS’11)

✍ Jones, Cliff; Romanovsky, Alexander 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 125 KB

Special issue on Automated Verification

Special issue on Automated Verification of Critical Systems (AVoCS'12)

✍ Lüttgen, Gerald; Merz, Stephan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 167 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Towards Automated, Formal Verification of Model Transformations

✍ Asztalos, Márk; Lengyel, László; Levendovszky, Tihamér 📂 Article 📅 2010 🏛 IEEE ⚖ 400 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 approach for design and formal verification of safety-critical software

✍ Wei-gang Ma, ; Hei, Xin-hong 📂 Article 📅 2010 🏛 IEEE ⚖ 618 KB

[IEEE 2010 International Conference on I

[IEEE 2010 International Conference on Information, Networking and Automation (ICINA 2010) - Kunming, China (2010.10.18-2010.10.19)] 2010 International Conference on Information, Networking and Automation (ICINA) - Comparison of PCA, LDA and GDA for palmprint verification

✍ Pengfei Yu, ; Pengcheng Yu, ; Dan Xu, 📂 Article 📅 2010 🏛 IEEE ⚖ 429 KB

[IEEE 2010 IEEE AUTOTESTCON - Orlando, F

[IEEE 2010 IEEE AUTOTESTCON - Orlando, FL, USA (2010.09.13-2010.09.16)] 2010 IEEE AUTOTESTCON - Automated testing of communication systems in motion: Adding realistic testing

✍ Lombardi, Mark R. 📂 Article 📅 2010 🏛 IEEE ⚖ 1011 KB