• Deutsch
Login

Open Access

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

Formal safety analysis of transportation control systems

Frank Ortmeier, Wolfgang Reif

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Frank Ortmeier, Wolfgang ReifORCiDGND
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58890
    URL:https://www.isse.uni-augsburg.de/en/publications/reif/2005-train-SEFM/paper.pdf
    Parent Title (English):TRain Workshop: Third IEEE International Conference on Software Engineering and Formal Methods , 5. - 6. September, Koblenz, Germany
    Type:Conference Proceeding
    Language:English
    Year of first Publication:2005
    Release Date:2019/08/22
    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 / Lehrstuhl für Softwaretechnik

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks