Slideshow

Verification of Webbed Applications ...

Haydar, M., Barburas, M. Verification of Webbed Applications Using Model CheckingX. Montréal, CRIM. 21 diapositives

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