scientific article; zbMATH DE number 1951524

MaRDI QIDQ4413745zbMATHFDO

Authors Antonia Bertolino, Andrea Polini

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2604/26040165.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 2150807
• scientific article; zbMATH DE number 1952046
• scientific article; zbMATH DE number 1952067
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2020410

Cited in

(1)

• Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413745)