Teaching Formal Methods Within System-on-a-Programmable-Chip Design.

Luís Gomes Anikó Costa

Published in: MSE (2005)

Keyphrases

formal methods
chip design
model checking
knowledge based systems
formal specification
distance learning
low cost
artificial intelligence
physical design
online learning
fuzzy logic
modeling language
databases
development lifecycle
object oriented
temporal logic
learning process
e learning