Conference , Workshops Proceedings

Verifying Trustworthiness Requirements in Distributed Systems ...

Ulrich, A., Hallal, H., Petrenko, A. and Boroday, S. "Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis" in Proceedings of the IEEE 36th Hawaii International Conference on System Sciences (HICSS-36). HI, Hawaii, USA
[Full text] [Abstract]

  • Le CRIM recrute! Conseiller en recrutement en TI
  • Chambly Express.ca RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…