guest ::
Modelling and statistical model checking of a microgrid
; ; ;
In
International journal on software tools for technology transfer : STTT 17(4), Seiten/Artikel-Nr.:537-554
2015 & 2014
Druckausgabe: 2015. - Onlineausgabe: 2014
Online
DOI: 10.1007/s10009-014-0345-y
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84943273771
WOS Core Collection: WOS:000357485500011
OpenAlex: W2070555702
Interne Identnummern
RWTH-CONV-093021
Datensatz-ID: 465767
Beteiligte Länder
Czech Republic, Germany
; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Thomson Reuters Master Journal List ; Web of Science Core Collection
|
The record appears in these collections: |