Conference , Workshops Proceedings

Techniques for Abstracting SDL ...

Boroday, S., Groz, R., Petrenko, A. and Quemener, Y.-M. "Techniques for Abstracting SDL Specifications" in Proceedings of the 3rd SAM (SDL and MSC) Workshop (SAM2002): Telecommunication and beyond: the broader applicability of SDL and MSC (SAM2002). Wales, Aberystwyth, United Kingdom
[Full text] [Abstract]

  • TECHNOCompétences RT @TECHNOCompetenc: Initions les jeunes aux compétences numériques ! Lisez et partagez l'article de @ecolebranchee à propos de #MaVieTECHN…
  • Au tour du @lienmultimedia de parler du projet d'#IntelligenceArtificielle du CRIM et de @facilis_inc! L'expertise… https://t.co/142GYrXbjX