Dines Bjørner

  1. 2012
  2. Published

    A Survey of Formal Methods in Software Development. / Bjørner, Dines (Invited author).

    2012 19th Asia-Pacific Software Engineering Conference (APSEC). Vol. 2 IEEE, 2012. (Asia Pacific Software Engineering Conference. Proceedings).

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  3. 2007
  4. Published
  5. 2006
  6. Published

    Software Engineering, vol. 1: Abstraction and Modelling. / Bjørner, Dines.

    Springer, 2006.

    Publication: Research - peer-reviewBook – Annual report year: 2006

  7. Published

    Software Engineering, vol 2: Specification of Systems and Languages. / Bjørner, Dines.

    Springer, 2006.

    Publication: Research - peer-reviewBook – Annual report year: 2006

  8. Published

    Software Engineering, vol. 3: Domains, Requirements and Software Design. / Bjørner, Dines.

    Springer, 2006.

    Publication: Research - peer-reviewBook – Annual report year: 2006

  9. 2005
  10. Published

    A Cloverleaf of Software Engineering. / Bjørner, Dines (Invited author).

    SEEM2005, 3rd IEEE Intl. Conference on Software Engineering and Formal Methods. IEEE, 2005. p. 75-85.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2005

  11. Published

    An Example Railway Domain. / Bjørner, Dines.

    In: British Computer Society FACTS FACT, No. 2, 2005, p. 29-39.

    Publication: ResearchJournal article – Annual report year: 2005

  12. Published

    Multimodal Transportation Nets. / Bjørner, Dines; Boca, Paul (Editor).

    In: British Computer Society FACS FACT, No. 4, 2005, p. 30.

    Publication: ResearchJournal article – Annual report year: 2005

  13. Published

    Train Column. / Bjørner, Dines.

    In: British Computer Society FACS FACTS, No. 1, 2005, p. 27-28.

    Publication: ResearchJournal article – Annual report year: 2005

  14. Published

    Train Column. / Bjørner, Dines.

    In: British Computer Society FACS FACTS, No. 2, 2005, p. 19-23.

    Publication: ResearchJournal article – Annual report year: 2005

Previous 1 2 3 4 5 6 7 Next
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