Benjamin F. Engel

Benjamin F. Engel (May 1, 1914 – August 15, 1983) was a vice admiral in the United States Coast Guard. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Benjamin Engel', query time: 0.03s Refine Results
  1. 1
    Towards the definition of metrics for the assessment of operational design domains [version 1; peer review: 2 approved, 1 approved with reservations]

    Towards the definition of metrics for the assessment of operational design domains [version 1; peer review: 2 approved, 1 approved with reservations] by Bernhard Kaiser, Johannes Hiller, Benjamin Engel, Hendrik Weber

    Published 2023-09-01
    Get full text
    Article
  2. 2
    Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

    Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code by Marcus Völp, Steffen Märcker, Hendrik Tews, Hermann Härtig, Sascha Klüppelholz, Benjamin Engel, Marcus Daum, Christel Baier, Joachim Klein

    Published 2012-11-01
    Get full text
    Article

Search Tools: