Reference Citation Analysis: Find an Article, Find a Category, Find a Journal, Find a Scholar

Citation(s) in RCA

0
(from Reference Citation Analysis)

Indexed Articles

Ranked By

Impact Index Per Article
Citation(s) in RCA

Article Statistics

Refine

MESH Headings

Show more Refine

First Author

Show more Refine

Authors

Show more Refine

Publication Titles

Show more Refine

Grant Agencies

Show more Refine

Countries/Regions

Show more Refine

Affiliations

Show more Refine

Category

Show more Refine

For: Basu A, Bensalem S, Bozga M, Delahaye B, Legay A, Sifakis E. Verification of an AFDX Infrastructure Using Simulations and Probabilities. In: Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace G, Roşu G, Sokolsky O, Tillmann N, editors. Runtime Verification. Berlin: Springer Berlin Heidelberg; 2010. pp. 330-44. [DOI: 10.1007/978-3-642-16612-9_25] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register]

For:	Basu A, Bensalem S, Bozga M, Delahaye B, Legay A, Sifakis E. Verification of an AFDX Infrastructure Using Simulations and Probabilities. In: Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace G, Roşu G, Sokolsky O, Tillmann N, editors. Runtime Verification. Berlin: Springer Berlin Heidelberg; 2010. pp. 330-44. [DOI: 10.1007/978-3-642-16612-9_25] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register]

No articles found.

(The first 100,000 artilces are displayed in RCA.)