Formal Aspects of Computing

ISSNs: 0934-5043

Additional searchable ISSN (Electronic): 1433-299X

Springer U K, United Kingdom

BFI (2018): BFI-level 2, Scopus rating (2017): CiteScore 1.35 SJR 0.377 SNIP 1.281, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

  1. 2017
  2. Published

    Manifest domains:analysis and description. / Bjørner, Dines.

    In: Formal Aspects of Computing, Vol. 29, No. 2, 01.03.2017, p. 175-225.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  3. 2011
  4. 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

  5. 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

  6. 2008
  7. 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

  8. 2004
  9. Published

    Model-checking dense-time Duration Calculus. / Fränzle, Martin.

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

    Publication: Research - peer-reviewJournal article – Annual report year: 2004

  10. 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

  11. 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

  12. 2003
  13. Published

    A Semantics for Distributed Execution of Statemate. / Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner.

    In: Formal Aspects of Computing, Vol. 15, No. 4, 2003, p. 390-405.

    Publication: Research - peer-reviewJournal article – Annual report year: 2003

  14. 1997
  15. 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

  16. 1996
  17. Published

    Semantics of Underdetermined Expressions. / Larsen, Peter Gorm; Hansen, Bo Stig.

    In: Formal Aspects of Computing, Vol. 8, No. 1, 1996.

    Publication: Research - peer-reviewJournal article – Annual report year: 1996

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word