Record Beta

Formal Methods (FM)

https://id.confref.org/data/confref-portal/event/fm2006

This record is part of the confref event International Symposium on Formal Methods.

rdf:type	portal:Conference
schema:location	Hamilton (wd:Q133116)
rdfs:label	Formal Methods (FM)
portal:acronym	FM
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Hamilton
portal:country	Canada
portal:endDate	2006-01-01
portal:keyword	Acoustic impedance
portal:keyword	Automated
portal:keyword	Binary decision diagrams
portal:keyword	Calculation
portal:keyword	Clustering
portal:keyword	Combustion experiments
portal:keyword	Combustion
portal:keyword	Contact surface
portal:keyword	Coupled transformation
portal:keyword	Critical tube diameter
portal:keyword	Detonation
portal:keyword	Gap
portal:keyword	Model checking
portal:keyword	Static analysis
portal:keyword	Verification
portal:keyword	barriers
portal:keyword	boundary values
portal:keyword	chemical kinetics
portal:keyword	computational group theory
portal:name	Formal Methods (FM)
portal:portalPage	http://portal.confref.org/list/fm2006
portal:series	https://id.confref.org/data/confref-portal/series/fm
portal:startDate	2006-01-01
portal:submissionExtended	false
portal:year	2006
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/fm/fm2006

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