Learn IT - Books tags verification

VHDL : Programming By Example

McGraw-Hill, 2002

THE HANDS-DOWN FAVORITE USER'S GUIDE TO VHDLCOMPLETELY UPDATED TO REFLECT THE VERY LATEST DESIGN METHODS

CD-ROM WITH WORKING CODE EXAMPLES, VERIFICATION TOOLS AND MORE

No matter what your current level of expertise, nothing will have you writing and verifying concise, efficient VHDL descriptions of...

Analysis and Design of Hybrid Systems 2006: A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006

Elsevier Limited, 2007

This volume contains the proceedings of ADHS'06: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in Alghero (Italy) on June 7-9, 2006.
ADHS is a series of triennial meetings that aims to bring together researchers and practitioners with a background in control and computer science to provide a survey of the...

Computer Aided Design and Design Automation (The Circuits and Filters Handbook)

CRC Press, 2009

> Volume 5 of the Handbook of Circuits and Filters, Third Edition focuses on computer-aided design and design automation. In the first part of the book, international contributors address topics such as modeling of circuit performances, symbolic analysis methods, numerical analysis methods, design by optimization,...

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Birkhauser, 2006

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework....

Nursing Procedures (Springhouse, Nursing Procedures)

Lippincott Williams & Wilkins, 2004

The newly revised Fourth Edition of this popular and widely used reference is a start-to-finish guide for nearly 400 basic and advanced nursing procedures. It provides step-by-step instructions for each procedure, explains how to use and troubleshoot equipment, and presents key information on rationales, cautions, complications,...

Formal Methods: Industrial Use from Model to the Code

John Wiley & Sons, 2012

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...

Discrete Element Method in the Design of Transport Systems: Verification and Validation of 3D Models

Springer, 2019

This book deals with the design and optimization of the bucket elevator using the discrete element method (DEM). It describes the underlying scientific basis for the design of transport equipment using computer simulations and is focused on issues relevant to the industrial sector, mechanical engineering; and the transport, treatment,...

Java and the Java Virtual Machine: Definition, Verification, Validation

Springer, 2001

This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components....

Practical Formal Software Engineering: Wanting the Software You Get

Cambridge University Press, 2009

Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain timely practical solutions. This book takes an engineering approach to illuminate the...

SysML Distilled: A Brief Guide to the Systems Modeling Language

Addison Wesley, 2013

The Systems Modeling Language (SysML) extends UML with powerful systems engineering capabilities for modeling a wider spectrum of systems and capturing all aspects of a system’s design. SysML Distilled is the first clear, concise guide for everyone who wants to start creating effective SysML models.

...

Systems Engineering Demystified: A practitioner's handbook for developing complex systems using a model-based approach

Packt Publishing, 2021

Get to grips with systems engineering life cycles, processes, and best practices and discover techniques to successfully develop complex systems

Key Features

Discover how to manage increased complexity and understand systems better via effective communication

Adopt a...

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Springer, 2000

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term...

Result Page: 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6