Record Beta

Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)

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

rdf:type	portal:Conference
schema:location	Grenoble (wd:Q1289)
rdfs:label	Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)
portal:acronym	FORTE
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Grenoble
portal:country	France
portal:endDate	2015-06-04
portal:keyword	Abstract Domain
portal:keyword	Abstract model
portal:keyword	Acceptance Condition
portal:keyword	Access control
portal:keyword	Actual Protocol
portal:keyword	Atomic Proposition
portal:keyword	Back Edge
portal:keyword	Call graph
portal:keyword	Certified Compiler
portal:keyword	Concurrent system
portal:keyword	Constraint Sequence
portal:keyword	Data race
portal:keyword	Domain Alignment
portal:keyword	Follow Theorem State
portal:keyword	Model Check
portal:keyword	Partial Order
portal:keyword	Virtual Machine
portal:keyword	code mobility
portal:keyword	decision procedure
portal:keyword	formal verification
portal:name	Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)
portal:portalPage	http://portal.confref.org/list/forte2015
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2015-06-02
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	https://dblp.org/db/conf/forte/forte2015

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