Conference series Beta

Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT)

Events: 1 (2010)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s1223es

Events (1)

20102010

Year	No.	Event	Place	Date
2010	8	FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010 FORMS	Brunswick	2010-12-02/03

The events on the map · in the search · calendar of coming events

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/series/forms`
dblp	`https://dblp.org/streams/conf/forms`

Cite

Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT). confref identifier s1223es. https://id.confref.org/series/s1223es

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

APIs · SPARQL · About the identifiers

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