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]

  • 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…