Automated planning as an early verification tool for distributed control (Q2352501): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: SPIN / rank
 
Normal rank

Revision as of 15:15, 28 February 2024

scientific article
Language Label Description Also known as
English
Automated planning as an early verification tool for distributed control
scientific article

    Statements

    Automated planning as an early verification tool for distributed control (English)
    0 references
    0 references
    2 July 2015
    0 references
    automated planning
    0 references
    model checking
    0 references
    action priority
    0 references
    formal verification
    0 references
    early verification
    0 references
    distributed control
    0 references
    component based systems
    0 references
    logical faults
    0 references
    automotive
    0 references
    reactive control
    0 references
    requirements engineering
    0 references

    Identifiers