Complete deterministic stream X-machine testing (Q1764430): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00165-004-0045-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2020382180 / rank
 
Normal rank

Latest revision as of 01:16, 20 March 2024

scientific article
Language Label Description Also known as
English
Complete deterministic stream X-machine testing
scientific article

    Statements

    Complete deterministic stream X-machine testing (English)
    0 references
    0 references
    24 February 2005
    0 references
    Testing
    0 references
    Test set generation
    0 references
    Formal specification
    0 references
    Stream X-machines
    0 references
    Finite state machines
    0 references

    Identifiers