Record Beta

Software Engineering: Theories, Tools, and Applications

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

rdf:type	portal:Conference
schema:location	Nanjing (wd:Q16666)
rdfs:label	Software Engineering: Theories, Tools, and Applications
portal:acronym	SETTA
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Nanjing
portal:country	China
portal:endDate	2015-11-06
portal:keyword	Abate
portal:keyword	Abstract interpretation
portal:keyword	Abstract state machines
portal:keyword	Aircrafts
portal:keyword	Boulder
portal:keyword	Coherence
portal:keyword	Cohesion
portal:keyword	Collision freedeom
portal:keyword	Combinatorial analysis
portal:keyword	Cond
portal:keyword	Continuous and discrete behaviors
portal:keyword	Controller synthesis
portal:keyword	Correct-by-construction
portal:keyword	Cuted
portal:keyword	Event-B
portal:keyword	Expense
portal:keyword	adapter
portal:keyword	coupling
portal:keyword	extractor
portal:keyword	formal verification
portal:name	Software Engineering: Theories, Tools, and Applications
portal:portalPage	http://portal.confref.org/list/setta2015
portal:series	https://id.confref.org/data/confref-portal/series/setta
portal:startDate	2015-11-04
portal:submissionExtended	false
portal:year	2015
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106245321
cr:sameAs	https://dblp.org/db/conf/setta/setta2015

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