Record Beta

Verification and Evaluation of Computer and Communication Systems

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

rdf:type	portal:Conference
schema:location	Grenoble (wd:Q1289)
rdfs:label	Verification and Evaluation of Computer and Communication Systems
portal:acronym	VECOS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Grenoble
portal:country	France
portal:endDate	2018-09-28
portal:keyword	Assume-guarantee paradigm
portal:keyword	CDNF Learning
portal:keyword	Cloud computing
portal:keyword	Compositional verification
portal:keyword	Constraint Automata
portal:keyword	Deployment constraints
portal:keyword	Dynamic load balancing
portal:keyword	Fault injection
portal:keyword	Formal methods
portal:keyword	Integrated traffic model
portal:keyword	Intelligent Transportation Systems
portal:keyword	Load Balancing
portal:keyword	Machine learning
portal:keyword	Markov Regenerative Processes
portal:keyword	Model checking
portal:keyword	Partial order techniques
portal:keyword	Petri Nets
portal:keyword	formal model
portal:keyword	performance analysis
portal:keyword	persistent sets
portal:name	Verification and Evaluation of Computer and Communication Systems
portal:portalPage	http://portal.confref.org/list/vecos2018
portal:series	https://id.confref.org/data/confref-portal/series/vecos
portal:startDate	2018-09-26
portal:submissionExtended	false
portal:year	2018
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106245742
cr:sameAs	https://dblp.org/db/conf/vecos/vecos2018

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