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

rdf:type	portal:Conference
schema:location	Berlin (wd:Q64)
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	Berlin
portal:country	Germany
portal:endDate	2003-10-02
portal:keyword	Alloy
portal:keyword	Automatic code generation
portal:keyword	Coloured Petri Nets
portal:keyword	Coverage
portal:keyword	Estelle
portal:keyword	Formal specification
portal:keyword	Layered Architecture
portal:keyword	Protocol Analysis and Verification
portal:keyword	Real-time
portal:keyword	SDL
portal:keyword	Service Engineering
portal:keyword	Software architecture
portal:keyword	asynchronous rekeying
portal:keyword	conformance testing
portal:keyword	formal description techniques
portal:keyword	key management
portal:keyword	lightweight modeling
portal:keyword	performance testing
portal:keyword	secure multicast
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/forte2003
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2003-09-29
portal:submissionExtended	false
portal:year	2003
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/forte2003

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