About this Computer Science article
Model Checking Approach to the Correctness Proof of Complex Systems by Marina Alekseeva,Ekaterina Dashkova is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Marina Alekseeva,Ekaterina Dashkova
- Publisher
- Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук; Moscow: Institute for System Programming of the Russian Academy of Sciences (ISSN 2311-7230)
- Published
- 2011
- Language
- EN
- Field
- Computer Science (Physical Sciences)