Formal Methods in System Design (Journal or book series)

  • Armin Biere (Editor or reviewer)

Activity: Publication peer-review and editorial work › Publication Peer-review or Editorial work (legacy data)

Description

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods
Period01 Jan 2015 → 31 Dec 2015
Type of journalBook series

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics