scientific article; zbMATH DE number 1951524

zbMATH Open1025.68514MaRDI QIDQ4413745FDOQ4413745

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)