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]

  • C'est par ici > https://t.co/DG7Btp4qs8 https://t.co/8qryDAQq06
  • ???? À LIRE! Nouvel article sur le #blogue du @CRIM_ca , par Farooq Sanni et Martin Sotir, scientifiques des données !… https://t.co/VgC0evIVDa