Conference , Workshops Proceedings

Formal Modeling of Communication Traces

Boroday, S., Hallal, H., Petrenko, A. and Ulrich, A. "Formal Modeling of Communication Traces" in Proceedings of the 2nd International Conference on Information System Technology and its Applications (ISTA 2003), pp. LNI vol. P30, pp. 97-108. Kharkov, Ukraine
[Full text] [Abstract]

  • Roger Léger RT @LegerRoger: Infolettre Juillet 2018 - Le virage numérique ne prend pas de vacances! -
  • Tom Landry RT @Tom_Landry_: Thanks to @ouranos_cc , @giz_gmbh , DKRZ and @NRCan for a highly appreciated contribution and collaboration.