{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1363670320084552960.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"DOI","@value":"10.1109/icws.2010.17"}},{"identifier":{"@type":"URI","@value":"http://xplorestaging.ieee.org/ielx5/5552632/5552704/05552735.pdf?arnumber=5552735"}}],"dc:title":[{"@value":"Timed Extended Invariants for the Passive Testing of Web Services"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1383670320084552963","@type":"Researcher","foaf:name":[{"@value":"Gerardo Morales"}]},{"@id":"https://cir.nii.ac.jp/crid/1383670320084552960","@type":"Researcher","foaf:name":[{"@value":"Stephane Maag"}]},{"@id":"https://cir.nii.ac.jp/crid/1383670320084552965","@type":"Researcher","foaf:name":[{"@value":"Ana Cavalli"}]},{"@id":"https://cir.nii.ac.jp/crid/1383670320084552964","@type":"Researcher","foaf:name":[{"@value":"Wissam Mallouli"}]},{"@id":"https://cir.nii.ac.jp/crid/1383670320084552961","@type":"Researcher","foaf:name":[{"@value":"Edgardo Montes de Oca"}]},{"@id":"https://cir.nii.ac.jp/crid/1383670320084552962","@type":"Researcher","foaf:name":[{"@value":"Bachar Wehbi"}]}],"publication":{"prism:publicationName":[{"@value":"2010 IEEE International Conference on Web Services"}],"dc:publisher":[{"@value":"IEEE"}],"prism:publicationDate":"2010-07","prism:startingPage":"592","prism:endingPage":"599"},"reviewed":"false","url":[{"@id":"http://xplorestaging.ieee.org/ielx5/5552632/5552704/05552735.pdf?arnumber=5552735"}],"createdAt":"2010-08-24","modifiedAt":"2017-06-19","relatedProduct":[{"@id":"https://cir.nii.ac.jp/crid/1360848656458075776","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isReferencedBy"],"jpcoar:relatedTitle":[{"@value":"A survey on formal active and passive testing with applications to the cloud"}]}],"dataSourceIdentifier":[{"@type":"CROSSREF","@value":"10.1109/icws.2010.17"},{"@type":"CROSSREF","@value":"10.1007/s12243-015-0457-8_references_DOI_GiTCCPVeeV34VstgT3fb2KlseEe"}]}