Difference: PublicationsCInBTC (15 vs. 16)

Revision 162010-03-12 - SidneyNogueira

Line: 1 to 1


Line: 28 to 29

SAMPAIO, A. C. A. ; Sidney Nogueira ; Alexandre Cabral Mota . Compositional Verification of Input Output Conformance via CSP Refinement Checking . In: ICFEM - International Conference on Formal Engineering Methods, 2009 , Rio de Janeiro. International Conference on Formal Engineering Methods. Berlin : Springer Verlag - Lecture Notes in Computer Science, 2009.

  Cristiano Bertolini and Alexandre Mota. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009). November 23-27, 2009, Hanoi, Vietnam.
This site is powered by the TWiki collaboration platformCopyright © 2008-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort