| rdf:type | portal:Conference |
|---|
| schema:location | Linz (wd:Q41329) |
|---|
| rdfs:label | International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z |
|---|
| portal:acronym | ABZ |
|---|
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
|---|
| portal:city | Linz |
|---|
| portal:country | Austria |
|---|
| portal:endDate | 2016-05-27 |
|---|
| portal:keyword | ASM |
|---|
| portal:keyword | ASTD |
|---|
| portal:keyword | Abstract state machines |
|---|
| portal:keyword | Abstraction |
|---|
| portal:keyword | B Method |
|---|
| portal:keyword | B-method |
|---|
| portal:keyword | BMotion Studio |
|---|
| portal:keyword | Clashes |
|---|
| portal:keyword | Co-simulation |
|---|
| portal:keyword | Code generation |
|---|
| portal:keyword | Composition |
|---|
| portal:keyword | Constraint Programming |
|---|
| portal:keyword | Constraint-based analysis |
|---|
| portal:keyword | Constraint-solving |
|---|
| portal:keyword | Control Flow |
|---|
| portal:keyword | Control construct |
|---|
| portal:keyword | Design |
|---|
| portal:keyword | Event-B |
|---|
| portal:keyword | Model checking |
|---|
| portal:name | International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z |
|---|
| portal:portalPage | http://portal.confref.org/list/abz2016 |
|---|
| portal:series | https://id.confref.org/data/confref-portal/series/abz |
|---|
| portal:startDate | 2016-05-23 |
|---|
| portal:submissionExtended | false |
|---|
| portal:year | 2016 |
|---|
| cr:discipline | computer science (wd:Q21198) |
|---|
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
|---|
Data: Turtle · JSON-LD · N-Triples · RDF/XML
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
