Start Over
You searched for: author_facet Steffen, Bernhard

Search Results

Cover image for Formal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Formal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Location
Access Content Online
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Location
Access Content Online
Cover image for The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation, Rigorous Engineering of Collective Adaptive Systems. 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings / Part II

Leveraging Applications of Formal Methods, Verification and Validation, Rigorous Engineering of Collective Adaptive Systems. 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings / Part II

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Location
Access Content Online
Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Location
Access Content Online
Cover image for Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco de Nicola. 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings / Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco de Nicola. 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings / Part I

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Location
Access Content Online