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]

  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…