A high-level requirements engineering methodology for electronic system-level design

DOI10.1016/J.COMPELECENG.2007.02.004MaRDI QIDQ2371970zbMATH OpenOpenAlexFDO

Authors N. Gorse, A. Chureau, E. M. Aboulhamid, Pierre R. Belanger, Yvon Savaria

Publication date 10 July 2007

Published in Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.compeleceng.2007.02.004

zbMATH Keywords

Boolean algebra

Mathematics Subject Classification ID

Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 2080751
• scientific article; zbMATH DE number 2130685
• Early verification and validation of mission critical systems
• Engineering requirements for system reliability and security
• scientific article; zbMATH DE number 1706339

Cited in

(1)

• scientific article; zbMATH DE number 2080751 (Why is no real title available?)

Describes a project that uses

Uses Software

• SystemVerilog

This page was built for publication: A high-level requirements engineering methodology for electronic system-level design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2371970)