System Verification : Proving the Design Solution Satisfies the Requirements

System Verification : Proving the Design Solution Satisfies the Requirements

Enregistré dans:

Détails bibliographiques
Auteur principal:	Grady, Jeffrey O.. (Auteur)
Support:	E-Book
Langue:	Anglais
Publié:	San Diego : Elsevier Science, 2016.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

System requirements analysis
par: Grady, Jeffrey O..
Publié: (2014)

Clinique et vérification
par: Reuchlin, Maurice, 1920-2015.
Publié: (1972)

Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
par: Drusinsky, Doron.
Publié: (2006)

Co-verification of Hardware and Software for ARM SoC Design
par: Andrews, Jason.

Le fact-checking ou la réinvention d’une pratique de vérification
par: Bigot, Laurent.
Publié: (2017)

Le fact-checking ou la réinvention d’une pratique de vérification
par: Bigot, Laurent.
Publié: (2017)

GitLab quick start guide : migrate to GitLab for all your repository management solutions
par: O'grady, Adam.
Publié: (2018)

Guide pour la vérification des barres comprimées et fléchies : dimensionnement des barres en acier comprimées et fléchies vis-à-vis du flambement et du déversement
par: Bureau, Alain (19..-....; ingénieur en structures métalliques).
Publié: (2014)

Solar Energy Conversion Systems
par: Brownson, Jeffrey R. S..
Publié: (2014)

Vérification de la théorie des styles décisionnels de Harren lors d'un choix de carrière
par: Poirier, Pierre.
Publié: (1987)

Automated theorem Proving : a logical basis
par: Loweland, Donald.
Publié: (1978)

Proving doctrine : the uses of Scripture in modern theology
par: Kelsey, David Hugh, 1932-
Publié: (1999)

Control System Design
par: Manke, B. S..

Embedded Systems Design
par: Heath, Steve.

Ceph: designing and implementing scalable storage systems : design, implement, and manage software-defined storage solutions that provide excellent performance
Publié: (2019)

Hands-On System Design : Learn System Design, Scaling Applications, Software Development Design Patterns with Real Use-Cases
par: Kumar Ramchandani, Harsh.

Microsoft Power Platform Enterprise Architecture : Design tailor-made solutions for architects and decision makers to meet complex business requirements
par: Rybaric, Robert.

Thermal System Design and Simulation
par: Dhar, P.l..
Publié: (2016)

The Art of Designing Embedded Systems
par: Ganssle, Jack G. (19..-....).

Safety Design for Space Systems
par: Musgrave Ph.D, Gary E..

Renewable energy system design
par: Salameh, Ziyad.
Publié: (2014)

Design and development of Aircraft Systems
par: Moir, Ian (19..-....).
Publié: (2013)

The Art of Designing Embedded Systems
par: Ganssle, Jack G. (19..-....).

Solar Hybrid Systems : Design and Application
par: Aktas, Ahmet.
Publié: (2021)

Conceptual design for interactive systems : designing for performance and user experience
par: Parush, Avi (1954-....).
Publié: (2015)

Cloud Control Systems : Analysis, Design and Estimation
par: Mahmoud, Magdi S..
Publié: (2020)

Tidal Energy Systems : Design, Optimization and Control
par: Khare, Vikas.
Publié: (2018)

Embedded Microprocessor Systems : Real World Design
par: Ball, Stuart (1956-....).
Publié: (2002)

System Design Guide for Software Professionals : Build scalable solutions - from fundamental concepts to cracking top tech company interviews
par: Sinha, Dhirendra.

The consultant's guide to proposal writing : how to satisfy your client and double your income
par: Holtz, Herman, ....-
Publié: (1990)

Designing machine learning systems with Python
par: Julian, David.
Publié: (2016)

Digital systems design with FPGAs and CPLDs
par: Grout, Ian A..
Publié: (2011)

Systèmes non-linéaires : cours et exercices avec solutions
par: Lassoued, Abir (1986-....).

Embedded System Interfacing : Design for the Internet-of-Things (IoT) and Cyber-Physical Systems (CPS)
par: Wolf, Marylin.
Publié: (2019)

Renewable energy systems : a smart energy systems approach to the choice and modeling of 100% renewable solutions
par: Lund, Henrik.
Publié: (2014)

Global safety of fresh produce : a handbook of best practice, innovative commercial solutions and case studies
par: Hoorfar, Jeffrey.
Publié: (2014)

Mastering non-functional requirements
par: Paradkar, Sameer.
Publié: (2017)

Systems Programming with C# and .NET : Building robust system solutions with C# 12 and .NET 8
par: Vroegop, Dennis (19..-....).

Topics in expert system design : methodologies and tools.
par: Guida, Giovanni.
Publié: (1989)

Fractional Order Systems : An Overview of Mathematics, Design, and Applications for Engineers
par: Radwan, Ahmed G..
Publié: (2021)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1