Work

A Tutorial on Runtime Verification

Year: 2013

Type: book-chapter

Source: NATO science for peace and security series. D, Information and communication security

DOI: 10.3233/978-1-61499-207-3-141

Authors: Falcone Yliès, Havelund Klaus, Reger Giles

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2407790672

FWCI: 20

Cites:

Cited by: 149

Related to: 10