Skip to main content
COPE
Show search
Show menu
Close
Guidance
Search through our collection of resources which make up all guidance issued by COPE.
Expand Guidance sub-menu
Find guidance
Flowcharts
Guidelines
Cases
Member resources
COPE offers a wide range of member-only benefits and services.
Expand Member resources sub-menu
COPE Forum
eLearning
About COPE
Become a member, find an existing member, or read more about COPE and what we do.
Expand About COPE sub-menu
Our organisation
Core Practices
Find a member
Become a member
Work with us
Sign in
Search our website
You are here
Home
Formal Methods in System Design
ISSN:
1572-8102
Website:
https://link.springer.com/journal/10703
Publisher:
Springer Nature
Frequency:
6 issues/year
Journal discipline:
Engineering
Subject area:
Engineering and Technology