Formal Aspects of Computing

ISSNs: 0934-5043

Springer U K, United Kingdom

FI (2012): 2, ISI indexed (2012): yes

Central database

Journal

Publications

(7)

Published
CaPiTo: protocol stacks for services
Publication: Research - peer-review › Journal article – Annual report year: 2011
Published
A Formal Approach for the Construction and Verification of Railway Control Systems
Publication: Research - peer-review › Journal article – Annual report year: 2010
Published
Specification, proof, and model checking of the Mondex electronic purse using RAISE
Publication: Research - peer-review › Journal article – Annual report year: 2008

ID: 216305