Publication Details

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper

BAUER Thomas, AGIRRE Andoni Joseba, FÜRCHO David, HERZNER Wolfgang, HRUŠKA Bob, KARACA Mustafa, PEREIRA David M., PROENÇA José, SCHLICK Rupert, SICHER Robert, SMRČKA Aleš, YAYAN Ugur and SANGCHOOLIE Behrooz. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. Cham, 2022, pp. 368-382. Available from: https://link.springer.com/chapter/10.1007/978-3-031-04580-6_25
Czech title
Modelování pracovních postupů verifikace a validace napříč doménami ve velkém evropském výzkumném projektu VALU3S
Type
conference paper
Language
english
Authors
Bauer Thomas ()
Agirre Andoni Joseba (Mondragon)
Fürcho David (NXP-DE)
Herzner Wolfgang (AIT)
Hruška Bob ()
Karaca Mustafa ()
Pereira David M. (Instituto Superior de Engenharia)
Proença José ()
Schlick Rupert (AIT)
Sicher Robert ()
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Yayan Ugur ()
Sangchoolie Behrooz, Ph.D. (RISE)
URL
Keywords

Automated systems, Cybersecurity, Privacy, Safety, V&V tool chains, V&V workflows, Verification and validation

Published
2022
Pages
368-382
Proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Series
Lecture Notes in Computer Science
Conference
21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS), Samos, GR
Place
Cham, DE
DOI
10.1007/978-3-031-04580-6_25
UT WoS
000873503300025
EID Scopus
2-s2.0-85129783157
BibTeX 
@INPROCEEDINGS{FITPUB12943,
   author = "Thomas Bauer and Joseba Andoni Agirre and David F{\"{u}}rcho and Wolfgang Herzner and Bob Hru\v{s}ka and Mustafa Karaca and M. David Pereira and Jos\'{e} Proen\c{c}a and Rupert Schlick and Robert Sicher and Ale\v{s} Smr\v{c}ka and Ugur Yayan and Behrooz Sangchoolie",
   title = "Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper",
   pages = "368--382",
   booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   series = "Lecture Notes in Computer Science",
   year = 2022,
   location = "Cham, DE",
   doi = "10.1007/978-3-031-04580-6\_25",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12943"
}
Back to top