Formal Aspects of Computing
ISSNs: 0934-5043
Springer U K, United Kingdom
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
- 2011
- Published
CaPiTo: protocol stacks for services. / Gao, Han; Nielson, Flemming; Nielson, Hanne Riis.
In: Formal Aspects of Computing, Vol. 23, No. 4, 2011, p. 541-565.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
A Formal Approach for the Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth; Peleska, Jan; Kinder, Sebastian.
In: Formal Aspects of Computing, Vol. 23, No. 2, 2011, p. 191-219.Publication: Research - peer-review › Journal article – Annual report year: 2010
- 2008
- Published
Specification, proof, and model checking of the Mondex electronic purse using RAISE. / George, C.; Haxthausen, Anne Elisabeth.
In: Formal Aspects of Computing, Vol. 20, No. 1, 2008, p. 101-116.Publication: Research - peer-review › Journal article – Annual report year: 2008
- 2004
- Published
Special Issue on Duration Calculus. / Jones, Cliff; Hansen, Michael Reichhardt.
In: Formal Aspects of Computing, Vol. 16, No. 2, 2004.Publication: Research › Journal article – Annual report year: 2004
- Published
Untitled. / Jones, C.; Hansen, Michael Reichhardt.
In: Formal Aspects of Computing, Vol. 16, No. 2, 2004, p. 95-95.Publication: Research - peer-review › Editorial – Annual report year: 2004
- 1997
- Published
Duration Calculus: Logical Foundations. / Hansen, Michael Reichhardt; Chaochen, Zhou.
In: Formal Aspects of Computing, Vol. 9, No. 3, 1997, p. 283-330.Publication: Research - peer-review › Journal article – Annual report year: 1997
- 1994
- Published
Model-Checking Discrete Duration Calculus. / Hansen, Michael Reichhardt.
In: Formal Aspects of Computing, Vol. 6, No. 6A, 1994, p. 826-845.Publication: Research - peer-review › Journal article – Annual report year: 1994