C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Reuse of RTL IPs for SysML Model Generation.
Nicola Bombieri
Emad Samuel Malki Ebeid
Franco Fummi
Michele Lora
Published in:
MTV (2012)
Keyphrases
</>
formal methods
modeling language
safety analysis
model based diagnosis
e learning
case study
database
machine learning
artificial intelligence
learning objects
low cost
reusable components