Work

A Heuristics-Based Incremental Probabilistic Model Checking at Runtime

Year: 2020

Type: conference-paper

Source: IEEE International Conference on Software Engineering and Service Science (ICSESS)

DOI: 10.1109/icsess49938.2020.9237680

Authors: Yang Liu, Chao He

Institution: Nanjing University of Finance and Economics

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

OpenAlex ID: W3097319085

FWCI: 1.086

Cites: 12

Cited by: 6

Related to: 10