Deakin University
Browse

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

Version 2 2024-06-03, 02:56
Version 1 2024-03-13, 22:26
journal contribution
posted on 2024-06-03, 02:56 authored by F Zahid, A Tanveer, MMY Kuo, Roopak SinhaRoopak Sinha
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

History

Related Materials

  1. 1.
    DOI - Is version of https://doi.org/10.1007/s10845-021-01753-8

Location

Berlin, Germany

Language

eng

Publication classification

C1.1 Refereed article in a scholarly journal

Journal

Journal of Intelligent Manufacturing

Volume

33

Pagination

1603-1638

ISSN

0956-5515

eISSN

1572-8145

Issue

6

Publisher

Springer

Publication URL

Usage metrics

    Research Publications

    Categories

    Keywords

    CLASSIFICATIONComputer ScienceComputer Science, Artificial IntelligenceDESIGNEngineeringEngineering, ManufacturingFormal methodsIndustrial Cyber-Physical systemLANGUAGESRequirements engineeringScience & TechnologySemi-formal methodsSIMULATIONSystematic mapping studyTechnologyVERIFICATION

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC