Anura Puissochet

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Emmanuel Simeu, Anura Puissochet, Jean-Luc Rainard, Anne-Marie Tagant, Michel Poize
A new tool for random testability evaluation using simulation and formal proof. VTS (1992)