Richard W. Selby. Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems. In Qing Wang, Vahid Garousi, Raymond J. Madachy, Dietmar Pfahl, editors, Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings. Volume 5543 of Lecture Notes in Computer Science, pages 3-10, Springer, 2009. [doi]
@inproceedings{Selby09, title = {Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems}, author = {Richard W. Selby}, year = {2009}, doi = {10.1007/978-3-642-01680-6_3}, url = {http://dx.doi.org/10.1007/978-3-642-01680-6_3}, tags = {embedded software, modeling, analysis}, researchr = {https://researchr.org/publication/Selby09}, cites = {0}, citedby = {0}, pages = {3-10}, booktitle = {Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings}, editor = {Qing Wang and Vahid Garousi and Raymond J. Madachy and Dietmar Pfahl}, volume = {5543}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-01679-0}, }