Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Decentralised LTL monitoring - MaRDI portal

Decentralised LTL monitoring (Q346789)

From MaRDI portal
scientific article; zbMATH DE number 6103219
  • Decentralised LTL Monitoring
Language Label Description Also known as
English
Decentralised LTL monitoring
scientific article; zbMATH DE number 6103219
  • Decentralised LTL Monitoring

Statements

title
Decentralised LTL monitoring (English)
0 references
Decentralised LTL Monitoring (English)
0 references
author
Andreas Bauer
0 references
Yliès Falcone
0 references
publication date
30 November 2016
0 references
8 November 2012
0 references
zbMATH Keywords
runtime verification
0 references
LTL
0 references
monitoring
0 references
progression
0 references
decentralised monitoring
0 references

Identifiers

zbMATH Open document ID
1392.68229
0 references
1372.68163
0 references
zbMATH DE Number
6657613
0 references
6103219
0 references
OpenAlex ID
W1519460009
0 references
W2207666193
0 references
arXiv ID
1111.5133
0 references
 
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q346789&oldid=39369504"
Powered by MediaWiki