Amanote Research
Register
Sign In
Framework for Formal Methods in Conformance Testing
doi 10.1007/978-0-387-34883-4_12
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Dieter Hogrefe
Publisher
Springer US
Related search
Formal Executable Semantics for Conformance in the MDE Framework
Innovations in Systems and Software Engineering
Software
An Application of Combinatorial Methods to Conformance Testing for Document Object Model Events
Conformance Relations for Distributed Testing Based on CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformance Testing Trials on ERMES Receivers
A Methodology for Conformance Testing of Managed Objects
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Test Suite Development for Conformance Testing of Email Protocols
Testing TLS Using Combinatorial Methods and Execution Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Overview of Integrated Services Digital Network Conformance Testing
