Software Engineering

  1. Published

    A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

    Computer Safety, Reliability, and Security. ed. / Buth; Rabe; Seyfarth. Vol. 5775 Berlin / Heidelberg : Springer, 2009. p. 1-3 (Lecture Notes in Computer Science).

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

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

  3. Published

    A framework for the definition of variants of high-level Petri nets. / Kindler, Ekkart; Petrucci, Laure.

    Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09). 2009. p. 121-137.

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

  4. Published

    Algebraic specification in CASL. / Baumeister, Hubert; Bert, Didier.

    Software specification Methods: An Overview Using a Case Study. ISTE Publishing Company, 2006.

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

  5. Published

    Algol W Fejlmeldinger : Med 113 programeksempler. / Kristensen, Jens Thyge.

    København : Akademisk Forlag, 1971. 90 p.

    Publication: EducationBook – Annual report year: 1971

  6. Published

    Algol W Programmering. / Kristensen, Jens Thyge.

    Akademisk Forlag, 1971. 280 p.

    Publication: EducationBook – Annual report year: 1971

  7. Published

    A Logical Model Query Interface. / Störrle, Harald.

    Intl. Ws. Visual Languages and Logic (VLL'09): CEUR Proceedings. Vol. 510 2009. p. 18-36.

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

  8. Published

    An ECNO semantics for Petri nets. / Kindler, Ekkart.

    In: Petri Net Newsletter, No. 81, 2012, p. 3–16.

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

  9. Published

    An Introduction to Formal Methods for the Development of Safety-critical Applications. / Haxthausen, Anne Elisabeth.

    Kgs. Lyngby, Denmark, 2010. 32 p.

    Publication: ResearchReport – Annual report year: 2010

  10. Published

    A primer on the Petri Net Markup Language and ISO/IEC 15909-2. / Hillah, L. M.; Kindler, Ekkart; Kordon, F.; Petrucci, L.; Tréves, N.

    In: Petri Net Newsletter, No. 76, 2009, p. 9-28.

    Publication: ResearchJournal article – Annual report year: 2009

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