Work

Modelling and statistical model checking of a microgrid

Year: 2014

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-014-0345-y

Authors: Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec

Institutions: RWTH Aachen University, University of West Bohemia in Pilsen

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDGs: Affordable and clean energy, Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W2070555702

FWCI: 1.033

Cites: 26

Cited by: 6

Related to: 10