Conference , Workshops Proceedings

Remote Testing of Timed Specifications

David, A., Larsen, K.G., Mikučionis, M., Nguena Timo, O.L. and Rollet, A. "Remote Testing of Timed Specifications" in Proceedings of the 25th IFIP International Conference on Testing Software and Systems (ICTSS 2013), pp. 65-81. Istanbul, Turkey, 13 to 15 November 2013

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