Developing With Formal Methods at BedRock Systems, Inc
| العنوان: | Developing With Formal Methods at BedRock Systems, Inc |
|---|---|
| المؤلفون: | Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai |
| المصدر: | IEEE Security & Privacy. 20:33-42 |
| بيانات النشر: | Institute of Electrical and Electronics Engineers (IEEE), 2022. |
| سنة النشر: | 2022 |
| مصطلحات موضوعية: | Computer Networks and Communications, Electrical and Electronic Engineering, Law |
| تدمد: | 1558-4046 1540-7993 |
| الوصول الحر: | https://explore.openaire.eu/search/publication?articleId=doi_________::4b6326359cf61f30562a1159afc6b5faTest https://doi.org/10.1109/msec.2022.3158196Test |
| حقوق: | CLOSED |
| رقم الانضمام: | edsair.doi...........4b6326359cf61f30562a1159afc6b5fa |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 15584046 15407993 |
|---|