Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Aspects of Computing

Issue 2/2014

Content (9 Articles)

Ediorial

Editorial

Eerke A. Boiten, John Derrick, Steve Reeves

Obituary

Kaisa Sere: In Memoriam

Luigia Petre, Elena Troubitsyna, Marina Waldén

Original Article

Discovery of invariants through automated theory formation

Maria Teresa Llano, Andrew Ireland, Alison Pease

The behavioural semantics of Event-B refinement

Steve Schneider, Helen Treharne, Heike Wehrheim

Original Article

Derivation of concurrent programs by stepwise scheduling of Event-B models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Original Article

Introducing extra operations in refinement

Eerke A. Boiten

Original Article

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Original Article

Refinement-based verification of implementations of Stateflow charts

Alvaro Miyazawa, Ana Cavalcanti

Original Article

Relational concurrent refinement part III: traces, partial relations and automata

John Derrick, Eerke Boiten

Jan 14
Issue: 1/2014
May 14
Issue: 3/2014

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits