Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems

Bert Van Acker, Bentley Oakes, Mehrdad Moradi, Paul Demeulenaere and Joachim Denil

Paper (2020)

Document published while its authors were not affiliated with Polytechnique Montréal

An external link is available for this item

PolyPublie URL:	https://publications.polymtl.ca/56252/
Conference Title:	23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020)
Conference Date(s):	2020-10-16 - 2020-10-23
Publisher:	Association for Computing Machinery
DOI:	10.1145/3417990.3419226
Official URL:	https://doi.org/10.1145/3417990.3419226
Date Deposited:	02 Nov 2023 15:35
Last Modified:	25 Sep 2024 16:47

Cite in APA 7:	Van Acker, B., Oakes, B., Moradi, M., Demeulenaere, P., & Denil, J. (2020, October). Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems [Paper]. 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020). https://doi.org/10.1145/3417990.3419226
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistics

Repository Staff Only