Abstract is missing.
- Modeling Sources for Uncertainty in Environmental MonitoringMauno Rönkkö. 3-14 [doi]
- Mandatory and Potential Choice: Comparing Event-B and STAIRSAtle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. 15-27 [doi]
- Modelling and Refining Hybrid Systems in Event-B and RodinMichael J. Butler, Jean-Raymond Abrial, Richard Banach. 29-42 [doi]
- Modeling and Analysis of Component Faults and ReliabilityThibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou. 45-60 [doi]
- Verifiable Programming of Object-Oriented and Distributed SystemsOlaf Owe. 61-79 [doi]
- A Contract-Based Approach to Ensuring Component Interoperability in Event-BLinas Laibinis, Elena Troubitsyna. 81-96 [doi]
- Meeting Deadlines, ElasticallyEinar Broch Johnsen, Ka-I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu. 99-111 [doi]
- Event-B and Linear Temporal LogicSteve A. Schneider, Helen Treharne, David M. Williams. 113-123 [doi]
- A Provably Correct Resilience Mediator PatternMats Neovius, Mauno Rönkkö, Marina A. Waldén. 125-139 [doi]
- Relational Concurrent Refinement - Partial and Total FrameworksJohn Derrick, Eerke A. Boiten. 143-154 [doi]
- Refinement of Behavioural Models for Variability DescriptionAlessandro Fantechi, Stefania Gnesi. 155-169 [doi]
- Integrating Refinement-Based Methods for Developing Timed SystemsJüri Vain, Leonidas Tsiopoulos, Pontus Boström. 171-185 [doi]
- Action Systems for Pharmacokinetic ModelingMarcello M. Bonsangue, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash. 189-200 [doi]
- Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock ResponseDiana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre. 201-214 [doi]
- Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement ApproachRimvydas Ruksenas, Paolo Masci, Paul Curzon. 215-230 [doi]
- Self-Assembling Interactive Modules: A Research ProgrammeGheorghe Stefanescu. 231-246 [doi]
- Bibliography247-271 [doi]
- Index273-283 [doi]