Record Beta

Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance

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

rdf:type	portal:Conference
schema:location	Kaiserslautern (wd:Q3758)
rdfs:label	Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance
portal:acronym	MMB
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Kaiserslautern
portal:country	Germany
portal:endDate	2012-03-21
portal:keyword	?-regular property
portal:keyword	Anonymous credential
portal:keyword	Bisimulation
portal:keyword	CAN
portal:keyword	Controller area network
portal:keyword	GSEA
portal:keyword	Gene set annotation
portal:keyword	Genetic algorithm
portal:keyword	Model checking
portal:keyword	Network Calculus
portal:keyword	abstraction refinement
portal:keyword	bounding global availability
portal:keyword	busy period
portal:keyword	component-based system
portal:keyword	convex order
portal:keyword	deterministic Rabin automata
portal:keyword	discrete-time Markov chain
portal:keyword	emergent behavior
portal:keyword	fault tolerance
portal:keyword	fault tree
portal:name	Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance
portal:portalPage	http://portal.confref.org/list/mmb2012
portal:series	https://id.confref.org/data/confref-portal/series/mmb
portal:startDate	2012-03-19
portal:submissionExtended	false
portal:year	2012
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/mmb/mmb2012

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