HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery. yong Choi, J., Nam, E. H., Seong, Y. J., Yoon, J., Lee, S., Kim, H., Park, J., Woo, Y., Lee, S., & Min, S. L. TOS, 14(4):36:1-36:29, 2018.
HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery. [link]Link  HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery. [link]Paper  bibtex   
@article{journals/tos/ChoiNSYLKPWLM18,
  added-at = {2019-01-15T00:00:00.000+0100},
  author = {yong Choi, Jin and Nam, Eyee Hyun and Seong, Yoon Jae and Yoon, Jinhyuk and Lee, Sookwan and Kim, Hongseok and Park, Jeongsu and Woo, Yeong-Jae and Lee, Sheayun and Min, Sang Lyul},
  biburl = {https://www.bibsonomy.org/bibtex/258e9525d3bd51b94501b042b44f91c29/dblp},
  ee = {https://dl.acm.org/citation.cfm?id=3281030},
  interhash = {9032f89cd94f79eb9d13d25c933ad551},
  intrahash = {58e9525d3bd51b94501b042b44f91c29},
  journal = {TOS},
  keywords = {dblp},
  number = 4,
  pages = {36:1-36:29},
  timestamp = {2019-01-16T11:35:22.000+0100},
  title = {HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.},
  url = {http://dblp.uni-trier.de/db/journals/tos/tos14.html#ChoiNSYLKPWLM18},
  volume = 14,
  year = 2018
}
Downloads: 0