Jump to : Contact | BibTex reference | EndNote reference |

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)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs