SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786819761> ?p ?o ?g. }

Showing items 1 to 100 of ±198 with 100 items per page.

W2786819761 endingPage "33" @default.
W2786819761 startingPage "1" @default.
W2786819761 abstract "The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem." @default.
W2786819761 created "2018-02-23" @default.
W2786819761 creator A5037726232 @default.
W2786819761 creator A5050836932 @default.
W2786819761 creator A5052066515 @default.
W2786819761 creator A5077349456 @default.
W2786819761 date "2018-01-01" @default.
W2786819761 modified "2023-10-12" @default.
W2786819761 title "Introduction to Runtime Verification" @default.
W2786819761 cites W1000312060 @default.
W2786819761 cites W123316897 @default.
W2786819761 cites W1414322427 @default.
W2786819761 cites W1507758008 @default.
W2786819761 cites W1513400763 @default.
W2786819761 cites W1516210480 @default.
W2786819761 cites W151929830 @default.
W2786819761 cites W1547304883 @default.
W2786819761 cites W1556566737 @default.
W2786819761 cites W1558971024 @default.
W2786819761 cites W1581671536 @default.
W2786819761 cites W1610570299 @default.
W2786819761 cites W1688113412 @default.
W2786819761 cites W1705718777 @default.
W2786819761 cites W1734269280 @default.
W2786819761 cites W1790612874 @default.
W2786819761 cites W1825341937 @default.
W2786819761 cites W1848583964 @default.
W2786819761 cites W186083353 @default.
W2786819761 cites W1863629953 @default.
W2786819761 cites W1908552957 @default.
W2786819761 cites W1965740447 @default.
W2786819761 cites W1972235549 @default.
W2786819761 cites W1974775743 @default.
W2786819761 cites W1983720914 @default.
W2786819761 cites W1983956391 @default.
W2786819761 cites W1993060013 @default.
W2786819761 cites W2005062077 @default.
W2786819761 cites W2009313447 @default.
W2786819761 cites W2009386039 @default.
W2786819761 cites W2009781601 @default.
W2786819761 cites W2018028742 @default.
W2786819761 cites W2023808162 @default.
W2786819761 cites W2023889124 @default.
W2786819761 cites W2025315843 @default.
W2786819761 cites W2027769154 @default.
W2786819761 cites W2028720147 @default.
W2786819761 cites W2029138738 @default.
W2786819761 cites W2030949004 @default.
W2786819761 cites W2031188261 @default.
W2786819761 cites W2033698665 @default.
W2786819761 cites W2036862954 @default.
W2786819761 cites W2036910349 @default.
W2786819761 cites W2043996829 @default.
W2786819761 cites W2052897520 @default.
W2786819761 cites W2064452120 @default.
W2786819761 cites W2068107045 @default.
W2786819761 cites W2068341689 @default.
W2786819761 cites W2077520193 @default.
W2786819761 cites W2078356878 @default.
W2786819761 cites W2089675142 @default.
W2786819761 cites W2097838240 @default.
W2786819761 cites W2101023018 @default.
W2786819761 cites W2101623441 @default.
W2786819761 cites W2102674270 @default.
W2786819761 cites W2113335827 @default.
W2786819761 cites W2115051564 @default.
W2786819761 cites W2115965729 @default.
W2786819761 cites W2116659133 @default.
W2786819761 cites W2121167614 @default.
W2786819761 cites W2122756728 @default.
W2786819761 cites W2128948567 @default.
W2786819761 cites W2129683568 @default.
W2786819761 cites W2132281483 @default.
W2786819761 cites W2134625450 @default.
W2786819761 cites W2145063062 @default.
W2786819761 cites W2145901923 @default.
W2786819761 cites W2150593762 @default.
W2786819761 cites W2152639018 @default.
W2786819761 cites W2153385696 @default.
W2786819761 cites W2154199228 @default.
W2786819761 cites W2156858199 @default.
W2786819761 cites W2160767434 @default.
W2786819761 cites W2161088856 @default.
W2786819761 cites W2164119561 @default.
W2786819761 cites W2165414132 @default.
W2786819761 cites W2165418237 @default.
W2786819761 cites W2170346842 @default.
W2786819761 cites W2182828685 @default.
W2786819761 cites W2234091664 @default.
W2786819761 cites W2240465192 @default.
W2786819761 cites W2247375962 @default.
W2786819761 cites W2253074222 @default.
W2786819761 cites W2267240189 @default.
W2786819761 cites W2274371377 @default.
W2786819761 cites W2281584718 @default.
W2786819761 cites W2296694987 @default.
W2786819761 cites W2346761210 @default.
W2786819761 cites W2374477971 @default.