View in EDS

Formal Methods for Industrial Critical Systems.

Saved in:
Bibliographic Details
Title: Formal Methods for Industrial Critical Systems.
Authors: Groote, Jan Friso1 (AUTHOR), Huisman, Marieke2 (AUTHOR)
Source: International Journal on Software Tools for Technology Transfer. Apr2024, Vol. 26 Issue 2, p127-129. 3p.
Subjects: Industrialism, Technology transfer, Conference papers, Stochastic analysis, Research & development
Abstract: To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, and we need to exchange experiences of the industrial usage of these methods and tools. This special issue of Software Tools for Technology Transfer presents various tools and experience reports that are targeting the use of formal methods in industry. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022). [ABSTRACT FROM AUTHOR]
Copyright of International Journal on Software Tools for Technology Transfer is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 176221922
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal Methods for Industrial Critical Systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Groote%2C+Jan+Friso%22">Groote, Jan Friso</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Huisman%2C+Marieke%22">Huisman, Marieke</searchLink><relatesTo>2</relatesTo> (AUTHOR)
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22International+Journal+on+Software+Tools+for+Technology+Transfer%22">International Journal on Software Tools for Technology Transfer</searchLink>. Apr2024, Vol. 26 Issue 2, p127-129. 3p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Industrialism%22">Industrialism</searchLink><br /><searchLink fieldCode="DE" term="%22Technology+transfer%22">Technology transfer</searchLink><br /><searchLink fieldCode="DE" term="%22Conference+papers%22">Conference papers</searchLink><br /><searchLink fieldCode="DE" term="%22Stochastic+analysis%22">Stochastic analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Research+%26+development%22">Research & development</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, and we need to exchange experiences of the industrial usage of these methods and tools. This special issue of Software Tools for Technology Transfer presents various tools and experience reports that are targeting the use of formal methods in industry. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022). [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of International Journal on Software Tools for Technology Transfer is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=176221922
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10009-024-00744-3
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 3
        StartPage: 127
    Subjects:
      – SubjectFull: Industrialism
        Type: general
      – SubjectFull: Technology transfer
        Type: general
      – SubjectFull: Conference papers
        Type: general
      – SubjectFull: Stochastic analysis
        Type: general
      – SubjectFull: Research & development
        Type: general
    Titles:
      – TitleFull: Formal Methods for Industrial Critical Systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Groote, Jan Friso
      – PersonEntity:
          Name:
            NameFull: Huisman, Marieke
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 04
              Text: Apr2024
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 14332779
          Numbering:
            – Type: volume
              Value: 26
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: International Journal on Software Tools for Technology Transfer
              Type: main
ResultId 1