[ACM Press the 31st Brazilian Symposium - Fortaleza, CE, Brazil (2017.09.20-2017.09.22)] Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17 - Specifying Safety Requirements with GORE languages
- 作者Vilela, Jéssyka; Castro, Jaelson; Martins, Luiz Eduardo G.; Gorschek, Tony; Silva, Carla
- 文件大小1173.18KB
- 发表时间2017
- DOI10.1145/3131151.3131175
- 页码154-163
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - AEQUITASRibic, Haris; Liu, Yu David · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - ReplichardLi, Zhiying; Xue, Ruini; Ao, Lixiang · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - GCaRWu, Suzhen; Lin, Yanping; Mao, Bo; Jiang, Hong · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - HOPEHu, Yang; Li, Chao; Liu, Longjun; Li, Tao · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - SReplayQian, Xuehai; Sen, Koushik; Hargrove, Paul; Iancu, Costin · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - LynxMitropoulou, Konstantina; Porpodas, Vasileios; Zhang, Xiaochun; Jones, Timothy M. · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - OrigamiAbdel-Majeed, Mohammad; Wong, Daniel; Kuang, Justin; Annavaram, Murali · 2016
[ACM Press the 2016 International Conference - Istanbul, Turkey (2016.06.01-2016.06.03)] Proceedings of the 2016 International Conference on Supercomputing - ICS '16 - TurboTilingMehta, Sanyam; Garg, Rajat; Trivedi, Nishad; Yew, Pen-Chung · 2016