Formal Methods in System Design

Nov 10, 2022

Published by: Kluwer Academic Publishers Publisher Imprint: Springer Nature Publisher Country: Netherlands Print ISSN: 0925-9856 Online ISSN: 1572-8102 Journal Language(s): ENG Journal CiteScore: 4.0 Are Journal articles in press: Articles in Press Journal number of...

Design Automation for Embedded Systems

Nov 10, 2022

Published by: Kluwer Academic Publishers Publisher Imprint: Springer Nature Publisher Country: Netherlands Print ISSN: 0929-5585 Online ISSN: 1572-8080 Journal Language(s): ENG Journal CiteScore: 3.3 Are Journal articles in press: Articles in Press Journal number of...

Journal of Intelligent Manufacturing

Nov 10, 2022

Published by: Springer Nature 2022 article number: 194 Print ISSN: 0956-5515 Online ISSN: 1572-8145 Journal number of registered peer reviews: 85 Journal number of reviewers: 4 Journal of Intelligent Manufacturing Journal Editors Editor Affiliation Andrew...

Automated Software Engineering

Nov 10, 2022

Published by: Kluwer Academic Publishers Publisher Imprint: Springer Nature Publisher Country: Netherlands Print ISSN: 0928-8910 Online ISSN: 1573-7535 Journal Language(s): ENG Journal CiteScore: 5.7 Are Journal articles in press: Articles in Press Journal number of...

Reliable Computing

Nov 10, 2022

Published by: Kluwer Academic Publishers Publisher Imprint: Springer Nature Publisher Country: Netherlands Print ISSN: 1385-3139 Online ISSN: 1573-1340 Journal Language(s): ENG Journal CiteScore: 1.6 Are Journal articles in press: No/Unknown Journal number of...