Integrating Refinement-Based Methods for Developing Timed Systems

Publiceringsår

2016

Upphovspersoner

Jüri Vain, Leonidas Tsiopoulos, Pontus Boström

Organisationer och upphovspersoner

Åbo Akademi

Tsiopoulos Leonidas

Boström Pontus

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Samlingsverk

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A3 Del av bok eller annat samlingsverk

Publikationskanalens uppgifter

Moderpublikationens namn

From Action Systems to Distributed Systems: The Refinement Approach

Moderpublikationens redaktörer

Luigia Petre, Emil Sekerinski

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1201/b20053-17