Formal Methods Europe

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:organization
gptkbp:abbreviation gptkb:FME
gptkbp:collaboratesWith BCS-FACS
IFIP Working Group 1.3
gptkbp:field computer science
software engineering
gptkbp:focus formal methods
gptkbp:foundedIn 1992
https://www.w3.org/2000/01/rdf-schema#label Formal Methods Europe
gptkbp:language English
gptkbp:location gptkb:Europe
gptkbp:membership open to individuals and organizations
gptkbp:organizes FME Symposium
gptkbp:promotion use of formal methods in software development
gptkbp:publishes gptkb:conference
gptkbp:supports research in formal methods
gptkbp:type gptkb:nonprofit_organization
gptkbp:website https://fmeurope.org/
gptkbp:bfsParent gptkb:VDM_(Vienna_Development_Method)
gptkbp:bfsLayer 7