Login / Signup
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
Jean-Pierre Talpin
Paul Le Guernic
Sandeep K. Shukla
Rajesh K. Gupta
Frederic Doucet
Published in:
ACSD (2003)
Keyphrases
</>
design methodology
formal specification
design criteria
physical design
design process
fuzzy neural network
object oriented
design procedure
design methodologies
neural network
data mining
information systems
prediction model