Work

Caching Strategies for Run-time Probabilistic Model Checking.

Year: 2016

Type: article

Authors: Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2585948292

FWCI: 0.653

Cites: 15

Cited by: 4

Related to: 10