-
Selection by year
-
Selection by authors
-
Complete lists
Jeron-TESTDAG99
T. Jéron. Testing Reactive Systems using Model-Based Verification Techniques. Invited presentation, Dutch Testing Day, Philips, Eindhoven, November 1999.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
BibTex Reference
@Misc{Jeron-TESTDAG99,
Author = {Jéron, T.},
Title = {Testing Reactive Systems using Model-Based Verification Techniques},
Howpublished = {Invited presentation, Dutch Testing Day, Philips, Eindhoven},
Month = {November},
Year = {1999}
}
EndNote Reference [help]
Get EndNote Reference (.ref)