dblp.uni-trier.dewww.uni-trier.de

Niloofar Razavi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EERazieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61
2007
2EENiloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128
2006
1EENiloofar Razavi, Marjan Sirjani: Using Reo for formal specification and verification of system designs. MEMOCODE 2006: 113-122

Coauthor Index

1Razieh Behjati [3]
2Hamideh Sabouri [3]
3Marjan Sirjani [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)