# Formal Methods in System Design

**Type:** Journals  
**Canonical URL:** https://scholariq.org/journals/formal-methods-in-system-design/

## Facts

| Field | Value |
| --- | --- |
| Open Access | false |
| ISSN-L | 0925-9856 |
| ISSNs | 0925-9856,1572-8102 |
| OpenAlex ID | https://openalex.org/S3845260 |
| Publisher | Springer Science+Business Media |

## Journal papers

- [Algebraic Decision Diagrams and Their Applications](https://scholariq.org/papers/algebraic-decision-diagrams-and-their-applications/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.