Formal Aspects of Computing

ISSNs: 0934-5043

Springer U K, United Kingdom

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

Central database

Journal

  1. 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-reviewJournal article – Annual report year: 2010

  2. 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-reviewJournal article – Annual report year: 2011

  3. 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-reviewJournal article – Annual report year: 1997

  4. 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-reviewJournal article – Annual report year: 1994

  5. Published

    Special Issue on Duration Calculus. / Jones, Cliff; Hansen, Michael Reichhardt.

    In: Formal Aspects of Computing, Vol. 16, No. 2, 2004.

    Publication: ResearchJournal article – Annual report year: 2004

  6. 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-reviewJournal article – Annual report year: 2008

  7. Published

    Untitled. / Jones, C.; Hansen, Michael Reichhardt.

    In: Formal Aspects of Computing, Vol. 16, No. 2, 2004, p. 95-95.

    Publication: Research - peer-reviewEditorial – Annual report year: 2004

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word