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/forte2005

rdf:type	portal:Conference
schema:location	Taipei (wd:Q1867)
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	Taipei
portal:country	Taiwan
portal:endDate	2005-10-05
portal:keyword	(de)composition
portal:keyword	?-Calculus
portal:keyword	Abstract state machines
portal:keyword	Abstraction
portal:keyword	Ad hoc networks
portal:keyword	Analytical method
portal:keyword	AsmL
portal:keyword	Automation
portal:keyword	Coloured Petri Nets
portal:keyword	Controllability
portal:keyword	DCCP
portal:keyword	DSR
portal:keyword	Detectors
portal:keyword	behavior level partitioner
portal:keyword	compositional modelling
portal:keyword	data abstractions
portal:keyword	distributed simulation
portal:keyword	epoch distance
portal:keyword	exposed terminal
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/forte2005
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2005-10-02
portal:submissionExtended	false
portal:year	2005
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/forte2005

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