Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Protocol Specification, Testing and Verification

https://id.confref.org/data/confref-portal/event/pstv1995

This record is part of the confref event Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995.

rdf:typeportal:Conference
schema:locationWarsaw (wd:Q270)
rdfs:labelProtocol Specification, Testing and Verification
portal:acronymPSTV
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityWarsaw
portal:countryPoland
portal:endDate1995-01-01
portal:keywordAlgebraic Specifications
portal:keywordAorta
portal:keywordApproximation
portal:keywordAsynchronous Büchi Automata
portal:keywordConcurrency
portal:keywordEstelle
portal:keywordFormal methods
portal:keywordLOTOS
portal:keywordQuality of Service
portal:keywordSpecification
portal:keywordVHDL
portal:keywordValidation
portal:keywordVerification
portal:keywordabstract test suite
portal:keywordand temporal logic.
portal:keywordcommunication protocols
portal:keywordformal specifications
portal:keywordprotocol
portal:keywordrefinement.
portal:nameProtocol Specification, Testing and Verification
portal:portalPagehttp://portal.confref.org/list/pstv1995
portal:serieshttps://id.confref.org/data/confref-portal/series/pstv
portal:startDate1995-01-01
portal:submissionExtendedfalse
portal:year1995
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/pstv/pstv1995

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.