Record Beta

International Conference of B and Z Users

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

This record is part of the confref event International Conference of B and Z Users.

rdf:type	portal:Conference
schema:location	York (wd:Q42462)
rdfs:label	International Conference of B and Z Users
portal:acronym	ZB
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	York
portal:country	UK
portal:endDate	2000-09-02
portal:keyword	Atomic Operation
portal:keyword	B Animation
portal:keyword	B Method
portal:keyword	B Refinement Design
portal:keyword	B-method
portal:keyword	CSP
portal:keyword	Combining Formalisms
portal:keyword	Concurrent Process
portal:keyword	Dynamic properties
portal:keyword	Embedded systems
portal:keyword	Environment Interaction
portal:keyword	Event
portal:keyword	Formal specification
portal:keyword	Fuzzy set theory
portal:keyword	Model-based
portal:keyword	axiomatic
portal:keyword	distributed system
portal:keyword	event systems
portal:keyword	refinement
portal:name	International Conference of B and Z Users
portal:portalPage	http://portal.confref.org/list/abz2000
portal:series	https://id.confref.org/data/confref-portal/series/abz
portal:startDate	2000-08-29
portal:submissionExtended	false
portal:year	2000
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

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