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

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

rdf:type	portal:Conference
schema:location	Madrid (wd:Q2807)
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	Madrid
portal:country	Spain
portal:endDate	2004-10-30
portal:keyword	Block multithreading
portal:keyword	Decision Diagrams
portal:keyword	Distributed systems
portal:keyword	FSM
portal:keyword	Formal specification
portal:keyword	Intrusion detection
portal:keyword	LUNAR
portal:keyword	Mobile ad hoc networks
portal:keyword	Model checking
portal:keyword	Petri Box Calculus
portal:keyword	Scenario composition
portal:keyword	Scenario-based approach
portal:keyword	event–driven simulation
portal:keyword	formal verification
portal:keyword	instruction issuing
portal:keyword	performance analysis
portal:keyword	performance evaluation
portal:keyword	pipelined processors
portal:keyword	routing protocols
portal:keyword	runtime monitoring
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/forte2004
portal:series	https://id.confref.org/data/confref-portal/series/forte
portal:startDate	2004-09-01
portal:submissionExtended	false
portal:year	2004
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/forte2004

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

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