%0 Conference Paper %1 conf/rtcsa/JeeWKLSL10 %A Jee, Eunkyoung %A Wang, Shaohui %A Kim, Jeong-Ki %A Lee, Jaewoo %A Sokolsky, Oleg %A Lee, Insup %B RTCSA %D 2010 %I IEEE Computer Society %K dblp %P 133-142 %T A Safety-Assured Development Approach for Real-Time Software. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2010.html#JeeWKLSL10 %@ 978-1-4244-8480-5

@inproceedings{conf/rtcsa/JeeWKLSL10, added-at = {2023-03-23T00:00:00.000+0100}, author = {Jee, Eunkyoung and Wang, Shaohui and Kim, Jeong-Ki and Lee, Jaewoo and Sokolsky, Oleg and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/282395548fbb77bc9da4e91e15a9fd7ff/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2010.42}, interhash = {9f282449381a194f08d35921acf499f2}, intrahash = {82395548fbb77bc9da4e91e15a9fd7ff}, isbn = {978-1-4244-8480-5}, keywords = {dblp}, pages = {133-142}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:23:56.000+0200}, title = {A Safety-Assured Development Approach for Real-Time Software.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2010.html#JeeWKLSL10}, year = 2010 }