Formal methods in system design

Basis info

International title:

Formal methods in system design

Print ISSN:

0925-9856         Period: [1992 .. ]

Electronic ISSN:

1572-8102         Period: [ .. ]

Language:

English

Country:

United States

URL:

http://www.springer.com/engineering/circuits+&[..]

Publisher:

Springer

Publisher:

Springer New York LLC

ITAR code:

8666

NPI Scientific Field:

Computer Science and Informatics

Criteria

Editorial board:

Scientific

Refereed:

Peer reviewed

Author background:

International

Open access

SHERPA RoMEO:

  Green

DOAJ:

  No, is not indexed by DOAJ

UNIT-agreement:

  Yes, is included in a major UNIT-agreement

Scientific level placements and Norwegian HEIs publication points

Year Scientific level Author shares Publication points
2021 2 - -
2020 2 - -
2019 2 0.0 0.0
2018 2 0.0 0.0
2017 2 0.75 2.4495
2016 2 0.0 0.0
2015 2 0.0 0.0
2014 2 0.0 0.0
2013 2 0.0 0.0
2012 2 0.0 0.0
2011 2 0.0 0.0
2010 2 0.0 0.0
2009 2 0.0 0.0
2008 2 0.0 0.0
2007 2 0.0 0.0
2006 1 0.33 0.33
2005 1 0.0 0.0
2004 1 0.0 0.0

Log in to comment