Decentralised LTL monitoring (Q346789)

From MaRDI portal
Revision as of 01:18, 28 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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