Interactive Runtime Verification

Raphaël Jakse

Open source

DOI
10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b
Published
Not recorded
Container
Not recorded
Publisher
Agence Bibliographique de l'Enseignement Supérieur
Open access
unknown

Credibility signals

uncertain Score 58/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b,
  title = {Interactive Runtime Verification},
  author = {Raphaël Jakse},
  doi = {10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b},
  url = {https://doi.org/10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b}
}

RIS

TY  - JOUR
TI  - Interactive Runtime Verification
AU  - Raphaël Jakse
DO  - 10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b
UR  - https://doi.org/10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b
ER  - 

APA

Jakse, R. (n.d.). Interactive Runtime Verification. https://doi.org/10.70675/16baf2a8z9491z41faza6e9z6ba33ed0e41b

Source records