Following fields are empty!

1
Search
2
Select
3
Submit
134
Journals
Go to Previous Page
Page 2 of 7
Go to Next Page

Request Journal

Please fill in the form to request a new journal to be added. We will review your request and add it to the Journal Guide as soon as possible.

*

Formal Methods in System Design

ISSN: 0925-9856eISSN: 1572-8102
SIGAPS Level D
Publisher: Springer
Visit Publisher homepageVisit journal homepage
Computer Science(all)Hardware and ArchitectureSoftwareTheoretical Computer Science

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.

Read more
Loading data ...
Compliant Options - Provided by Journal Checker Tool

Hybrid Journal

Go ahead and submit. Remember to select a CC BY licence to ensure compliance.

Transformative Agreement

Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.

Transformative Journal

Select the open access publishing option with a CC BY license to ensure compliance.

Full Open Access

Go ahead and submit. Remember to select a CC BY license to ensure compliance.

Self-Archiving

Following acceptance, please deposit your author accepted manuscript in a repository without embargo.

Self-Archiving using Rights Retention

Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.

Unfortunately, this journal has no Plan-S compliant options - Provided by Journal Checker Tool

Institutional Agreement

Les auteurs correspondants des Hospices Civils de Lyon ont la possibilité de publier leurs articles de recherches en Open Access dans cette revue. Pour bénéficier de cette prise en charge, déclarez les "Hospices Civils de Lyon" dans votre affiliation principale et utilisez votre adresse mail "@chu-lyon.fr" lors de la soumission de votre article.

L'éditeur précise les consignes suivantes à respecter lors de la soumission via sa plateforme:

  1. Utilisez votre adresse mail "@chu-lyon.fr" lors de la soumission de votre article
  2. Vérifiez que les Hospices Civils de Lyon apparaissent bien dans la zone "Institution"
  3. Liez votre ORCID à votre compte
  4. Si possible, réalisez la soumission depuis un ordinateur relié au réseau des HCL

ATTENTION:

  • Si l'éditeur vous demande de sélectionner la licence applicable, privilégiez la licence CC-BY à toutes autres.
  • L'accord porte uniquement sur les types d'articles suivants: "Article original", "Article de synthèse".
  • Veuillez noter que les types d'articles suivants ne sont pas couverts par cet accord : "Communication brève" et "Formation continue".
  • Cet accord ne concerne pas les revues Nature et BioMed Central (BMC).
  • Les articles publiés en accès ouvert immédiat au titre de l’accord peuvent être déposés dans leur version finale éditeur dans une archive ouverte, par exemple dans HAL-HCL.
  • Dans le cas des articles sous abonnement, il est permis par la Loi République numérique de déposer dans une archive ouverte le manuscrit auteur accepté d’un article et de le diffuser avec un embargo de 6 mois (sciences dures) ou 12 mois (SHS).

Si vous rencontrez des difficultés ou si vous avez des questions, contactez la Documentation Centrale sur sa.documentationcentrale@chu-lyon.fr ou au 04-72-11-29-99 (31-29-99)