Boolean Format Multitool for the Next Generation

Activity: Talk or presentation › Contributed talk › science-to-science

Period12 Apr 2023
Event titleMBMV´23 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Event typeConference
LocationGermanyShow on map

Fields of science

  • 101013 Mathematical logic
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102030 Semantic technologies
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Digital Transformation

Documents & Links