undefined

< Tillbaka till sökresultaten

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Publiceringsår

2018

Upphovspersoner

Inna Vistbakka; Mikhail Barash; Elena Troubitsyna

Organisationer och upphovspersoner

Åbo Akademi

Troubitsyna Elena

Vistbakka Inna

Barash Mikhail

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Moderpublikationens namn

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Konferens

International ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z

Sidor

386–391

ISBN

978-3-319-91270-7

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.1007/978-3-319-91271-4_28

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja