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]

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…