Search every field

12 merged results for "Laboratoire Spécification et Vérification"

Partial results: at least one source did not answer. Available results are shown rather than treating an upstream outage as zero matches.

Source status

  1. Permutations of context-free, ET0L and indexed languages

    Tara Brough, Laura Ciobanu, Murray Elder, Georg Zetzsche · 2016 · Discrete Mathematics & Theoretical Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.46298/dmtcs.2164

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  2. Karp-Miller Trees for a Branching Extension of VASS

    Kumar Neeraj Verma, Jean Goubault-Larrecq · 2005 · Discrete Mathematics & Theoretical Computer Science

    uncertain Transparent signal score 53/100 · policy 1.0.0

    Found in doaj · DOI 10.46298/dmtcs.350

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • supportingDirectory of Open Access Journals: A matching record was returned by DOAJ. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  3. Les connaissances de la toile

    Serge Abiteboul · 2013

    uncertain Transparent signal score 56/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  4. Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2

    Ahmed Mekki · 2012

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in hal · DOI 10.70675/57d2eacczfd91z488ez950fzb5cf4788fd5a

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  5. A Component-based Framework for the Specification, Verification and Validation of Open Distributed Systems

    Alioune Diagne, Pascal Estraillier · 1997

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  6. Analyse des données et choix de société

    Serge Abiteboul · 2016 · Parole publique

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  7. Automata and Logics for Concurrent Systems: Realizability and Verification

    Benedikt Bollig · 2015

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  8. Contribution à la vérification de programmes C par combinaison de tests et de preuves

    Guillaume Petiot · 2015

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  9. Cunf: A Tool for Unfolding and Verifying Petri Nets with Read arcs

    César Rodríguez, Stefan Schwoon · 2013

    uncertain Transparent signal score 54/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  10. LSV - Laboratoire spécification et vérification

    Rapport Hcéres · 2009

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  11. LSV - Laboratoire spécification et vérification

    Rapport Hcéres · 2014

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  12. Spécification et vérification de propriétés quantitatives sur des automates à contraintes

    Régis Gascon · 2007

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer