Record Beta

SAFECOMP

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

rdf:type	portal:Conference
schema:location	Magdeburg (wd:Q1733)
rdfs:label	SAFECOMP
portal:acronym	SAFECOMP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Magdeburg
portal:country	Germany
portal:endDate	2012-09-28
portal:keyword	AUTOSAR
portal:keyword	Assurance case
portal:keyword	Certification
portal:keyword	Dependability
portal:keyword	EAST-ADL
portal:keyword	Embedded system
portal:keyword	Event-B
portal:keyword	Fault injection
portal:keyword	Formal methods
portal:keyword	Formal modelling
portal:keyword	ISO 26262
portal:keyword	Safety case
portal:keyword	Safety
portal:keyword	Security
portal:keyword	assurance cases
portal:keyword	automotive
portal:keyword	formal verification
portal:name	SAFECOMP
portal:portalPage	http://portal.confref.org/list/safecomp2012
portal:series	https://id.confref.org/data/confref-portal/series/safecomp
portal:startDate	2012-09-25
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/safecomp/safecomp2012

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