Record Beta

International Conference on Abstract State Machines, Alloy, B, VDM, and Z

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

rdf:type	portal:Conference
schema:location	Pisa (wd:Q13375)
rdfs:label	International Conference on Abstract State Machines, Alloy, B, VDM, and Z
portal:acronym	ABZ
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Pisa
portal:country	Italy
portal:endDate	2012-06-21
portal:keyword	ASM
portal:keyword	ASM-based specifications reliability
portal:keyword	Abstract State Machine
portal:keyword	Active Intruder
portal:keyword	Alloy
portal:keyword	B Method
portal:keyword	Bounded model checking
portal:keyword	CSP
portal:keyword	ClawZ
portal:keyword	Controllability
portal:keyword	Decomposition
portal:keyword	Event-B
portal:keyword	External variables
portal:keyword	Kodkod
portal:keyword	N-inference observability
portal:keyword	arbitrator pattern
portal:keyword	bounded exploration
portal:keyword	control law diagrams
portal:keyword	dynamic model extension
portal:name	International Conference on Abstract State Machines, Alloy, B, VDM, and Z
portal:portalPage	http://portal.confref.org/list/abz2012
portal:series	https://id.confref.org/data/confref-portal/series/abz
portal:startDate	2012-06-18
portal:submissionExtended	false
portal:year	2012
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.