[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/isas/KuliaminPP05>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Alexander_K._Petrenko>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Nick_V._Pakoulin>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Victor_V._Kuliamin>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1007%2F11560333%5F6>
foaf:homepage <https://doi.org/10.1007/11560333_6>
dc:identifier DBLP conf/isas/KuliaminPP05 (xsd:string)
dc:identifier DOI doi.org%2F10.1007%2F11560333%5F6 (xsd:string)
dcterms:issued 2005 (xsd:gYear)
rdfs:label Practical Approach to Specification and Conformance Testing of Distributed Network Applications. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Alexander_K._Petrenko>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Nick_V._Pakoulin>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Victor_V._Kuliamin>
swrc:pages 68-83 (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/isas/2005>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/isas/KuliaminPP05/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/isas/KuliaminPP05>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/isas/isas2005.html#KuliaminPP05>
rdfs:seeAlso <https://doi.org/10.1007/11560333_6>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/isas>
dc:subject Design by Contract, asynchronous events specification, distributed system specification, formalization of standards, model based testing, conformance testing, automated test construction, specification extension of programming language, test oracle generation, UniTesK. (xsd:string)
dc:title Practical Approach to Specification and Conformance Testing of Distributed Network Applications. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document