Start Over
You searched for: author_facet Steffen, Bernhard

Search Results

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

Location
Access Content Online
Cover image for Correct system design

Correct system design

  • 1999
  • Format: Electronic
Location
Access Content Online
Cover image for Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Location
Access Content Online
Cover image for Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Location
Access Content Online
Cover image for Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

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
Cover image for Correct system design

Correct system design

  • 1999
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.9.S88 C678 1999 ✔ Available
Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location Call # Status
Joyner - General Stacks QA76.76.V47 V53 2004 ✔ Available