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

This record is part of the confref event International Conference on Formal Techniques for Networked and Distributed Systems.

rdf:type	portal:Conference
schema:location	Jeju Island (wd:Q29151)
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	Cheju Island
portal:country	Korea
portal:endDate	2001-08-31
portal:keyword	Abstraction
portal:keyword	Algorithm
portal:keyword	Architecture
portal:keyword	BDD
portal:keyword	Bayesian networks
portal:keyword	Behavioural subtyping
portal:keyword	Bisimulation
portal:keyword	CADP
portal:keyword	Clock-Restriction Diagram
portal:keyword	Compositional verification
portal:keyword	Compositionality
portal:keyword	Concurrency
portal:keyword	automated protocol implementation
portal:keyword	behaviour abstraction
portal:keyword	communicating FSMs
portal:keyword	communicating finite state machines
portal:keyword	concurrent events
portal:keyword	configurable FDT compiler
portal:keyword	conformance testing
portal:keyword	test sequence
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/forte2001
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2001-08-28
portal:submissionExtended	false
portal:year	2001
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/forte2001

Data: Turtle · JSON-LD · N-Triples · RDF/XML

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