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
Q3566785 - MaRDI portal

No label defined (Q3566785)

From MaRDI portal

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: scientific article

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

publication date

10 June 2010

0 references

full work available at URL

https://academic.oup.com/logcom/issue/20/3

0 references

MaRDI profile type

0 references

Recommended article

Special issue: 1st international workshop on runtime verification (RV'01). Selected papers based on the presentation at the workshop, Paris, France, July 23, 2001.

Similarity Score

0.9169811

Recommender Run

Recommender Run 3

0 references

Introduction to the special issue on runtime verification

Similarity Score

0.8603623

Recommender Run

Recommender Run 3

0 references

Introduction to the special issue on runtime verification

Similarity Score

0.8603623

Recommender Run

Recommender Run 3

0 references

Special issue: Workshop on tools at VSTTE 2008. Selected papers based on the presentations at the conference on verified software: theories, tools and experiments, Toronto, Canada, October 6--9, 2008

Similarity Score

0.842057

Recommender Run

Recommender Run 3

0 references

Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10--12, 2007

Similarity Score

0.8198143

Recommender Run

Recommender Run 3

0 references

Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers.

Similarity Score

0.8197355

Recommender Run

Recommender Run 3

0 references

A survey of challenges for runtime verification from advanced application domains (beyond software)

Similarity Score

0.8108306

Recommender Run

Recommender Run 3

0 references

Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009

Similarity Score

0.8071133

Recommender Run

Recommender Run 3

0 references

Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.

Similarity Score

0.8065957

Recommender Run

Recommender Run 3

0 references

Proceedings of the 6th international workshop on parallel and distributed methods in verification (PDMC 2007), Berlin, Germany, July 8, 2007

Similarity Score

0.80603015

Recommender Run

Recommender Run 3

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3566785

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q3566785&oldid=41690764"