• Medientyp: E-Artikel
  • Titel: Combining Formal and Probabilistic Modeling in Resilient Systems Design
  • Beteiligte: Madni, Azad M.; Sievers, Michael
  • Erschienen: Elsevier BV, 2019
  • Erschienen in: Procedia Computer Science, 153 (2019), Seite 343-351
  • Sprache: Englisch
  • DOI: 10.1016/j.procs.2019.05.088
  • ISSN: 1877-0509
  • Schlagwörter: General Medicine
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang