José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
Thomas Bauer
,
Joseba Andoni Agirre
,
David Fürcho
,
Wolfgang Herzner
,
Bob Hruska
,
Mustafa Karaca
,
David Pereira
,
José Proença
,
Rupert Schlick
,
Robert Sicher
,
Ales Smrcka
,
Ugur Yayan
,
Behrooz Sangchoolie
January 2021
PDF
Cite
Project
DOI
SAMOS 2021
Type
Conference paper
Publication
Embedded Computer Systems: Architectures, Modeling, and Simulation - 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings
VALU3S
Related
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Spreadsheet-based Configuration of Families of Real-Time Specifications
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Cite
×