• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

Specification and refinement of mobile systems in MTLA and mobile UML

Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe

    Download full text files

    • 44481.pdfeng
      (313KB)

      Postprint

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Print On Demand

      gedruckt bestellen

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Alexander KnappORCiDGND, Stephan Merz, Martin Wirsing, Júlia Zappe
    URN:urn:nbn:de:bvb:384-opus4-444810
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/44481
    ISSN:0304-3975OPAC
    Parent Title (English):Theoretical Computer Science
    Publisher:Elsevier BV
    Type:Article
    Language:English
    Year of first Publication:2006
    Publishing Institution:Universität Augsburg
    Release Date:2018/12/13
    Volume:351
    Issue:2
    First Page:184
    Last Page:202
    DOI:https://doi.org/10.1016/j.tcs.2005.09.067
    Institutes:Fakultät für Angewandte Informatik
    Fakultät für Angewandte Informatik / Institut für Informatik
    Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für die Grundlagen des Software & Systems Engineering
    Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
    Licence (German):License LogoCC-BY-NC-ND 4.0: Creative Commons: Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand)

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks