Related Books

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Language: en
Pages: 319
Authors: Dan Craigen
Categories: Computers
Type: BOOK - Published: 2012-12-02 - Publisher: William Andrew

DOWNLOAD EBOOK

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze
Formal Methods for Industrial Critical Systems
Language: en
Pages: 256
Authors: Stefania Gnesi
Categories: Computers
Type: BOOK - Published: 2012-11-27 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, th
Language Constructs for Describing Features
Language: en
Pages: 238
Authors: Stephen Gilmore
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call
Publications of the National Institute of Standards and Technology ... Catalog
Language: en
Pages: 230
Authors: National Institute of Standards and Technology (U.S.)
Categories:
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Library of Congress Subject Headings
Language: en
Pages: 1128
Authors: Library of Congress
Categories: Subject headings, Library of Congress
Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK