default search action

combined dblp search
author search
venue search
publication search

ask others

From Action Systems to Distributed Systems 2016

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/crc/asds2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/asds2016
Luigia Petre, Emil Sekerinski:
From Action Systems to Distributed Systems - The Refinement Approach. Chapman and Hall/CRC 2016, ISBN 978-1-4987-0158-7

Modeling

- view
  authority control:
- export record
  dblp key:
  - books/crc/p/Ronkko16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/Ronkko16
Mauno Rönkkö:
Modeling Sources for Uncertainty in Environmental Monitoring. 3-14
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/RefsdalRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/RefsdalRS16
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen:
Mandatory and Potential Choice: Comparing Event-B and STAIRS. 15-27
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/ButlerAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/ButlerAB16
Michael J. Butler, Jean-Raymond Abrial, Richard Banach:
Modelling and Refining Hybrid Systems in Event-B and Rodin. 29-42

Analysis

- view
  authority control:
- export record
  dblp key:
  - books/crc/p/GuillyORS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/GuillyORS16
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou:
Modeling and Analysis of Component Faults and Reliability. 45-60
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/Owe16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/Owe16
Olaf Owe:
Verifiable Programming of Object-Oriented and Distributed Systems. 61-79
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/LaibinisT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/LaibinisT16
Linas Laibinis, Elena Troubitsyna:
A Contract-Based Approach to Ensuring Component Interoperability in Event-B. 81-96

Proof

- view
  authority control:
- export record
  dblp key:
  - books/crc/p/JohnsenPSTY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/JohnsenPSTY16
Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Meeting Deadlines, Elastically. 99-111
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/SchneiderTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/SchneiderTW16
Steve A. Schneider, Helen Treharne, David M. Williams:
Event-B and Linear Temporal Logic. 113-123
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/NeoviusRW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/NeoviusRW16
Mats Neovius, Mauno Rönkkö, Marina Waldén:
A Provably Correct Resilience Mediator Pattern. 125-139

Refinement

- view
  authority control:
- export record
  dblp key:
  - books/crc/p/DerrickB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/DerrickB16
John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement - Partial and Total Frameworks. 143-154
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/FantechiG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/FantechiG16
Alessandro Fantechi, Stefania Gnesi:
Refinement of Behavioural Models for Variability Description. 155-169
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/VainTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/VainTB16
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström:
Integrating Refinement-Based Methods for Developing Timed Systems. 171-185

Applications

- view
  authority control:
- export record
  dblp key:
  - books/crc/p/BonsangueHKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/BonsangueHKK16
Marcello M. Bonsangue, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash:
Action Systems for Pharmacokinetic Modeling. 189-200
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/GratieIAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/GratieIAP16
Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre:
Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. 201-214
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/RuksenasMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/RuksenasMC16
Rimvydas Ruksenas, Paolo Masci, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. 215-230
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/Stefanescu16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/Stefanescu16
Gheorghe Stefanescu:
Self-Assembling Interactive Modules: A Research Programme. 231-246
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/X16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/X16
Bibliography. 247-271
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/X16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/X16a
Index. 273-283

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.