Record Beta

Quantitative Evaluation of Systems

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

rdf:type	portal:Conference
schema:location	Buenos Aires (wd:Q1486)
rdfs:label	Quantitative Evaluation of Systems
portal:acronym	QEST
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Buenos Aires
portal:country	Argentina
portal:endDate	2013-08-30
portal:keyword	Analytical solution
portal:keyword	Benchmarking
portal:keyword	Coloured Generalised Stochastic Petri Nets
portal:keyword	Data mining
portal:keyword	Data-intensive computing
portal:keyword	Discrete-event systems
portal:keyword	Invariant generation
portal:keyword	Location Tracking
portal:keyword	Performance modelling
portal:keyword	Simulation
portal:keyword	central limit approximation
portal:keyword	continuous stochastic logic
portal:keyword	deterministic timed automata
portal:keyword	fluid approximation
portal:keyword	linear noise approximation
portal:keyword	multi-formalism modeling
portal:keyword	non-linear constraint solving
portal:keyword	performance analysis
portal:keyword	probabilistic programs
portal:keyword	stochastic model checking
portal:name	Quantitative Evaluation of Systems
portal:portalPage	http://portal.confref.org/list/qest2013
portal:series	https://id.confref.org/data/confref-portal/series/qest
portal:startDate	2013-08-27
portal:submissionExtended	false
portal:year	2013
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106244898
cr:sameAs	https://dblp.org/db/conf/qest/qest2013

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