Formal methods in system design

Basisinfo

Internasjonal tittel:

Formal methods in system design

Print ISSN:

0925-9856         Periode: [1992 .. ]

Electronic ISSN:

1572-8102         Periode: [ .. ]

Språk:

Engelsk

Land:

USA

URL:

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

Forlag:

Springer

Utgiver:

Springer New York LLC

ITAR-kode:

8666

NPI Fagfelt:

Informatikk og datateknikk

Kriterier

Redaksjon:

Vitenskapelig

Fagfellevurdering:

Fagfellevurdert

Forfatterkrets:

Internasjonal

Åpen tilgang

SHERPA RoMEO:

  Green

DOAJ:

  Nei, er ikke indeksert i DOAJ

UNIT-avtale:

  Ja, er inkludert i en stor UNIT-avtale

Nivåplasseringer og UH-sektorens publiseringspoeng

År Nivå Forfatterandeler Publiseringspoeng
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

Logg inn for å kommentere