Login / Signup
Formal Refinement Checking in a System-level Design Methodology.
Jean-Pierre Talpin
Paul Le Guernic
Sandeep K. Shukla
Frederic Doucet
Rajesh K. Gupta
Published in:
Fundam. Informaticae (2004)
Keyphrases
</>
design methodology
formal specification
physical design
object oriented
design methodologies
design criteria
design process
design procedure
hw sw
pattern recognition
fuzzy neural network
database
case study
multiagent systems
artificial intelligence
hardware software
neural network