Proceedings of the Third International Conference on Trends in Information, Telecommunication and…
Springer New York
Chapter title |
Formal Approach to Reliability Improvement with Model Checker
|
---|---|
Chapter number | 2 |
Book title |
Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing
|
Published by |
Springer, New York, NY, January 2013
|
DOI | 10.1007/978-1-4614-3363-7_2 |
Book ISBNs |
978-1-4614-3362-0, 978-1-4614-3363-7
|
Authors |
Kazuhiro Yamada, Shin-ya Nishizaki |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Professor | 1 | 100% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 100% |