Search results

Articles (5)

Journals (0)

1-5 of 5 results for PRISM model checker

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2026-4

Formal analysis of protection systems in power distribution networks

Sobia Ashraf, Iram Tariq Bhatti, Osman Hasan

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2004-5-1

Vitaly Shmatikov

Journal of Computer Security

Retricted access

Research article

First published 2005-8

Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini [...]

Fundamenta Informaticae

Open access

Research article

First published 2015-5

José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2006-12-1

Gethin Norman, Vitaly Shmatikov

Journal of Computer Security