المؤلفون: Chaves, Lennon C., Ismail, Hussama I., Bessa, Iury V., Cordeiro, Lucas, de Lima Filho, Eddie Batista

المصدر: Chaves , L C , Ismail , H I , Bessa , I V , Cordeiro , L & de Lima Filho , E B 2019 , ' Verifying Fragility in Digital Systems with Uncertainties using DSVerier v2:0 ' , The Journal of Systems and Software . https://doi.org/10.1016/j.jss.2019.03.015

مصطلحات موضوعية: xed-point digital controllers, formal methods, bounded model checking, system reliability, uncertainty

وصف الملف: application/pdf

الاتاحة: https://research.manchester.ac.uk/en/publications/c04fc6cb-c4b7-45dc-9bb8-49e8ed70c63f
https://doi.org/10.1016/j.jss.2019.03.015
https://pure.manchester.ac.uk/ws/files/87164884/jss2019.pdf