|
Search the dblp DataBase
Isabelle Munn:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
High quality behavioral verification using statistical stopping criteria. [Citation Graph (0, 0)][DBLP] DATE, 2001, pp:411-419 [Conf]
- Tom Chen, Isabelle Munn, Anneliese von Mayrhauser, Amjad Hajjar
Efficient Verification of Behavioral Models Using Sequential Sampling Technique. [Citation Graph (0, 0)][DBLP] VLSI, 1999, pp:398-406 [Conf]
- Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
Stopping Criteria Comparison: Towards High Quality Behavioral Verification. [Citation Graph (0, 0)][DBLP] ISQED, 2001, pp:31-37 [Conf]
Search in 0.001secs, Finished in 0.001secs
|