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

INDIVIDUAL CONTRIBUTIONS

Content (7 Articles)

Amílcar Sernadas

Original Article

Manifest domains: analysis and description

Dines Bjørner

Original Article

Refining autonomous agents with declarative beliefs and desires

Qin Li, Graeme Smith

Open Access Original Article

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Original Article

A Maude environment for CafeOBJ

Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi

Original Article

Complete model-based equivalence class testing for nondeterministic systems

Wen-ling Huang, Jan Peleska

Original Article

Deriving bisimulation relations from path based equivalence checkers

Kunal Banerjee, Dipankar Sarkar, Chittaranjan Mandal

Jan 17
Issue: 1/2017
Extended versions of papers presented at LOPSTR 14
May 17
Issue: 3/2017
Extended versions of papers presented at LOPSTR 2015

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits