Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_8 ◽

2020 ◽

pp. 147-169

Author(s):

Lars Luthmann ◽

Hendrik Göttmann ◽

Malte Lochau

Keyword(s):

Conformance Testing

Download Full-text

Information technology. Telecommunications and information exchange between systems. X.25-DTE conformance testing

10.3403/00281065 ◽

1992 ◽

Keyword(s):

Information Technology ◽

Information Exchange ◽

Conformance Testing

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020 ◽

1991 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776117u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776144u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30130611 ◽

2007 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30145988u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text

Information technology. Conformance testing methodology for biometric data interchange formats defined in ISO/IEC 19794

10.3403/30175538 ◽

2010 ◽

Keyword(s):

Information Technology ◽

Conformance Testing ◽

Biometric Data ◽

Testing Methodology ◽

Data Interchange

Download Full-text

Information technology. Conformance testing methodology for biometric data interchange formats defined in ISO/IEC 19794

10.3403/30175535u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Conformance Testing ◽

Biometric Data ◽

Testing Methodology ◽

Data Interchange

Download Full-text

Information technology. Conformance testing methodology for biometric data interchange formats defined in ISO/IEC 19794

10.3403/30175531 ◽

2009 ◽

Keyword(s):

Information Technology ◽

Conformance Testing ◽

Biometric Data ◽

Testing Methodology ◽

Data Interchange

Download Full-text