Login / Signup
SysML model-driven approach to verify blocks compatibility.
Hamida Bouaziz
Samir Chouali
Ahmed Hammad
Hassan Mountassir
Published in:
Int. J. Comput. Aided Eng. Technol. (2019)
Keyphrases
</>
formal methods
modeling language
fractal image coding
safety analysis
machine learning
information systems
website
digital images
fault tolerant
dct coefficients
block size
variable size
verification method
equal sized