Login / Signup
Zakaria Lakhdara
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Formal Methods
Digital Circuits
Functional Decomposition
Soft Systems
Top Venues
Int. J. Embed. Real Time Commun. Syst.
ICAASE
Int. J. High Perform. Syst. Archit.
</>
Publications
</>
Zakaria Lakhdara
,
Naila Marir
A Formal Modelling Language for Digital Electronic Systems Design.
ICAASE
(2022)
Zakaria Lakhdara
,
Salah Merniz
A SysML and CLEAN-based methodology for digital circuits design.
Int. J. High Perform. Syst. Archit.
6 (4) (2016)
Zakaria Lakhdara
,
Salah Merniz
A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design.
Int. J. Embed. Real Time Commun. Syst.
6 (1) (2015)