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/2015

Content (9 Articles)

Editorial

In memoriam: Professor Heinz Zemanek (1920–2014)

Cliff B. Jones

Original Article

A practical comparison of Alloy and Spin

P. Zave

Original Article

Formalizing provable anonymity in Isabelle/HOL

Yongjian Li, Jun Pang

Original Article

A linear algebra approach to OLAP

Hugo Daniel Macedo, José Nuno Oliveira

Original Article

Abstraction and approximation in fuzzy temporal logics and models

Gholamreza Sotudeh, Ali Movaghar

Original Article

Proof-based verification approaches for dynamic properties: application to the information system domain

Amel Mammar, Marc Frappier

Original Article

Refinement in hybridised institutions

Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa, Rolf Hennicker

Original Article

Model checking dynamic pushdown networks

Fu Song, Tayssir Touili

Original Article

Laws of mission-based programming

Frank Zeyda, Ana Cavalcanti

Jan 15
Issue: 1/2015
May 15
Issue: 3/2015

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits