Formal methods in system design

SHERPA RoMEO:
Green
Last checked: 2016-07-13

 
International title: Formal methods in system design
Print ISSN: 0925-9856
    Print start year: 1992
Electronic ISSN: 1572-8102
ITAR code: 8666
Language: English
Country: United States
URL: http://www.springer.com/engineering/circuits+&[..]
Publisher: Springer
Publisher: Springer New York LLC
NPI Scientific Field: Informatics
Refereed: Peer reviewed
Author background: International

Designated scientific level(s) in previous years, and publication points reported by Norwegian HEIs

Year Scientific level Author shares Publication points
2019 2 - -
2018 2 - -
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