Introduction to the special issue on runtime verification

Oleg Sokolsky; Grigore Roşu

doi:10.1007/s10703-012-0174-0

Introduction to the special issue on runtime verification

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	233-235
Number of pages	3
Journal	Formal Methods in System Design
Volume	41
Issue number	3
DOIs	https://doi.org/10.1007/s10703-012-0174-0
State	Published - Dec 2012

ASJC Scopus subject areas

Software
Theoretical Computer Science
Hardware and Architecture

Online availability

10.1007/s10703-012-0174-0

Library availability

Discover UIUC Full Text

Cite this

@article{d3c6e1d4af2447b2a7af3abbb945cc80,

title = "Introduction to the special issue on runtime verification",

author = "Oleg Sokolsky and Grigore Ro{\c s}u",

year = "2012",

month = dec,

doi = "10.1007/s10703-012-0174-0",

language = "English (US)",

volume = "41",

pages = "233--235",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Introduction to the special issue on runtime verification

AU - Sokolsky, Oleg

AU - Roşu, Grigore

PY - 2012/12

Y1 - 2012/12

UR - http://www.scopus.com/inward/record.url?scp=84874493243&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84874493243&partnerID=8YFLogxK

U2 - 10.1007/s10703-012-0174-0

DO - 10.1007/s10703-012-0174-0

M3 - Editorial

AN - SCOPUS:84874493243

SN - 0925-9856

VL - 41

SP - 233

EP - 235

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -

Introduction to the special issue on runtime verification

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this