Journal

Using Partial-Orders ...

Petrenko, A., Ulrich, A., Chapenko, V. P. and Timokhovich, E. A. "Using Partial-Orders for Detecting Faults in Concurrent Systems" Automatic Control and Computer Sciences, 33 (1)

  • Notre #RapportAnnuel est en ligne! Découvrez les réalisations phares de l'année incluant une série d'interventions… https://t.co/GxLmYubAhr
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…