Skip to content Skip to footer

Research Portal of the TU Dresden

Formal Methods in System Design

ISSNs: 0925-9856

Additional searchable ISSN (electronic): 1572-8102

Springer, Dordrecht [u. a.]

Scopus rating (2023): CiteScore 2 SJR 0.4 SNIP 0.666

Journal

Titles	Formal Methods in System Design
ISSNs	0925-9856
Additional searchable ISSN (electronic)	1572-8102
Publisher	Springer, Dordrecht [u. a.]
ZDB-ID	1479899-2

Jantsch, S., Müller, D., Baier, C. & Klein, J., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 42–82 41 p.

Research output: Contribution to journal › Research article › Contributed › peer-review