eBook
Προβολή σε EDS

Industrial Use of Formal Methods : Formal Verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Industrial Use of Formal Methods : Formal Verification
Περιγραφή: At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
Συγγραφείς: Jean-Louis Boulanger
Resource Type: eBook.
Θέματα: Computer software--Verification, Nondestructive testing, Formal methods (Computer science), Systems engineering--Data processing, Computer simulation, Digital computer simulation, Computer programs--Verification
Categories: TECHNOLOGY & ENGINEERING / Industrial Engineering
Βάση Δεδομένων: eBook Index
FullText Text:
  Availability: 0
Header DbId: edsebk
DbLabel: eBook Index
An: 531496
RelevancyScore: 900
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 899.57275390625
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Industrial Use of Formal Methods : Formal Verification
– Name: Abstract
  Label: Description
  Group: Ab
  Data: At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Jean-Louis+Boulanger%22">Jean-Louis Boulanger</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+software--Verification%22">Computer software--Verification</searchLink><br /><searchLink fieldCode="DE" term="%22Nondestructive+testing%22">Nondestructive testing</searchLink><br /><searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+engineering--Data+processing%22">Systems engineering--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+simulation%22">Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Digital+computer+simulation%22">Digital computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programs--Verification%22">Computer programs--Verification</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Industrial+Engineering%22">TECHNOLOGY & ENGINEERING / Industrial Engineering</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=531496
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.101
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer software--Verification
        Type: general
      – SubjectFull: Nondestructive testing
        Type: general
      – SubjectFull: Formal methods (Computer science)
        Type: general
      – SubjectFull: Systems engineering--Data processing
        Type: general
      – SubjectFull: Computer simulation
        Type: general
      – SubjectFull: Digital computer simulation
        Type: general
      – SubjectFull: Computer programs--Verification
        Type: general
    Titles:
      – TitleFull: Industrial Use of Formal Methods : Formal Verification
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Jean-Louis Boulanger
      – PersonEntity:
          Name:
            NameFull: Jean-Louis Boulanger
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2012
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781848213630
            – Type: isbn-print
              Value: 9781118561829
            – Type: isbn-electronic
              Value: 9781118587904
            – Type: isbn-electronic
              Value: 9781118587843
          Titles:
            – TitleFull: Industrial Use of Formal Methods : Formal Verification
              Type: main
ResultId 1