A Formal Modelling Language for Digital Electronic Systems Design.

Zakaria Lakhdara Naila Marir

Published in: ICAASE (2022)

Keyphrases

modelling language
design automation
formal methods
case study
knowledge based systems
formal semantics
circuit design
databases
description logics