%0 Journal Article %1 journals/isse/DubeyNKNBK07 %A Dubey, Abhishek %A Nordstrom, Steven %A Keskinpala, Turker %A Neema, Sandeep %A Bapty, Ted %A Karsai, Gabor %D 2007 %J Innov. Syst. Softw. Eng. %K dblp %N 1 %P 33-52 %T Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. %U http://dblp.uni-trier.de/db/journals/isse/isse3.html#DubeyNKNBK07 %V 3

@article{journals/isse/DubeyNKNBK07, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dubey, Abhishek and Nordstrom, Steven and Keskinpala, Turker and Neema, Sandeep and Bapty, Ted and Karsai, Gabor}, biburl = {https://www.bibsonomy.org/bibtex/29e7de0dfb73e11bda23af554a52644da/dblp}, ee = {https://doi.org/10.1007/s11334-006-0015-7}, interhash = {41af5cf20aa8fdd993b3963208aa6904}, intrahash = {9e7de0dfb73e11bda23af554a52644da}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {33-52}, timestamp = {2024-04-09T04:08:21.000+0200}, title = {Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse3.html#DubeyNKNBK07}, volume = 3, year = 2007 }