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

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

rdf:type	portal:Conference
schema:location	Houston (wd:Q16555)
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	Houston
portal:country	USA
portal:endDate	2002-11-14
portal:keyword	Abstract Model checking
portal:keyword	C programs
portal:keyword	Concurrency Workbench
portal:keyword	Concurrent Systems
portal:keyword	Enhanced Communications Services
portal:keyword	FDT for network protocols
portal:keyword	Full LOTOS
portal:keyword	Induction and compositional model checking
portal:keyword	Maude
portal:keyword	Model checking
portal:keyword	Network security
portal:keyword	covering steps graph
portal:keyword	datastructures
portal:keyword	meta-language.
portal:keyword	multiple representatives
portal:keyword	nested depth first search algorithm
portal:keyword	partial-order
portal:keyword	persistent sets
portal:keyword	pointers
portal:keyword	policies
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/forte2002
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2002-11-11
portal:submissionExtended	false
portal:year	2002
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/forte2002

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

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