Conference , Workshops Proceedings

Confirming Configurations in EFSM

Petrenko, A., Boroday, S. and Groz, R. "Confirming Configurations in EFSM" in Formal Methods for Protocol Engineering and Distributed Systems : FORTE XII/ PSTV XIX : IFIP TC6 WG6. Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, (FORTE/PSTV'99), pp. 5-24. Beijing, China

  • Présentation de l’étude d’impact par Étienne Vignola-Gagné de @ScienceMetrix. Merci à ceux qui ont contribué, par l… https://t.co/wae5iGCYLY
  • Ouverture de l’assemblée par Guillaume Bazinet, VP Stratégie et développement d’affaires chez @FZXRecrutement et pr… https://t.co/nTyvVnT4CH