Volume 29; Issue 2

Formal Aspects of Computing

Volume 29; Issue 2
1

Complete model-based equivalence class testing for nondeterministic systems

Huang, Wen-ling, Peleska, Jan
Journal:
Formal Aspects of Computing
Year:
2017
Language:
english
File:
PDF, 879 KB
english, 2017
2

Refining autonomous agents with declarative beliefs and desires

Li, Qin, Smith, Graeme
Journal:
Formal Aspects of Computing
Year:
2017
Language:
english
File:
PDF, 674 KB
english, 2017
3

A Maude environment for CafeOBJ

Riesco, Adrián, Ogata, Kazuhiro, Futatsugi, Kokichi
Journal:
Formal Aspects of Computing
Year:
2017
Language:
english
File:
PDF, 677 KB
english, 2017
4

Manifest domains: analysis and description

Bjørner, Dines
Journal:
Formal Aspects of Computing
Year:
2017
Language:
english
File:
PDF, 1.04 MB
english, 2017
7

Amílcar Sernadas

Journal:
Formal Aspects of Computing
Year:
2017
Language:
english
File:
PDF, 53 KB
english, 2017