Resultaten visas 1 - 10 / 985
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

A demo on using visualization to aid run-time verification of dynamic service systems

Referentgranskad
DOI
10.1109/ICSTW.2010.40
Kuusijärvi, Jarkko
3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 20102010Publicationer information ikon

Towards a Generic Non-intrusive Fault Detection Framework

Referentgranskad
DOI
10.1007/978-3-642-40787-1_21
Julku, Jukka; Rautila, Mika
Lecture Notes in Computer Science2013Publicationer information ikon

Modelling and Verification of Dynamic Role-Based Access Control

Referentgranskad
DOI
10.1007/978-3-030-00359-3_4
Inna Vistbakka; Elena Troubitsyna
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, V...2018Publicationer information ikon

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Referentgranskad
Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé
SPRINGER2015Publicationer information ikon

Interferometric step gauge for CMM verification

Referentgranskad
Öppen tillgång
DOI
10.1088/1361-6501/aabd2b
Hemming, B.; Esala, V-P; Laukkanen, P.; Rantanen, Antti; Viitala, R.; Widmaier, T.; Kuosmanen, P.; L...
Measurement science and technology2018Publicationer information ikon

Parallel Program Verification using BMC

Referentgranskad
Jussila, Toni; Niemelä, Ilkka
-2002Publicationer information ikon

Text-prompted speaker verification experiments

Referentgranskad
Meister, E.; Altosaar, T.
-1998Publicationer information ikon

Spoofing-robust speaker verification using parallel embedding fusion: BTU speech group's approach for ASVspoof5 Challenge

Öppen tillgång
DOI
10.21437/asvspoof.2024-20
Kurnaz, Oğuzhan; Demitras, Selim Can; Büker, Aykut; Mishra, Jagabandhu; Hanilçi, Cemal
The Automatic Speaker Verification Spoofing Countermeasures Workshop2024Publicationer information ikon

Verification of ductile fracture mechanics assessment methods by a wide plate test

Referentgranskad
Kordisch, Horst; Hodulak, Ludvig; Talja, Heli
NUREG/CP1992Publicationer information ikon

Local Verification of Global Proofs

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.DISC.2018.25
Feuilloley, Laurent; Hirvonen, Juho
Leibniz International Proceedings in Informatics (LIPIcs)2018

A demo on using visualization to aid run-time verification of dynamic service systems

Referentgranskad
DOI
10.1109/ICSTW.2010.40
2010

Towards a Generic Non-intrusive Fault Detection Framework

Referentgranskad
DOI
10.1007/978-3-642-40787-1_21
2013

Modelling and Verification of Dynamic Role-Based Access Control

Referentgranskad
DOI
10.1007/978-3-030-00359-3_4
2018

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Referentgranskad
2015

Interferometric step gauge for CMM verification

Referentgranskad
Öppen tillgång
DOI
10.1088/1361-6501/aabd2b
2018

Parallel Program Verification using BMC

Referentgranskad
2002

Text-prompted speaker verification experiments

Referentgranskad
1998

Spoofing-robust speaker verification using parallel embedding fusion: BTU speech group's approach for ASVspoof5 Challenge

Öppen tillgång
DOI
10.21437/asvspoof.2024-20
2024

Verification of ductile fracture mechanics assessment methods by a wide plate test

Referentgranskad
1992

Local Verification of Global Proofs

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.DISC.2018.25
2018