1. A Concept for Set‐based Design of Verification Strategies. Issue 1 (11th April 2023) Authors: Xu, Pen; Salado, Alejandro Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 19 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Configuration Management for Model Based Systems Engineering — An Example from the Aerospace Industry. Issue 1 (11th April 2023) Authors: D'Souza, Adriana; Thota, Phanikrishna Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 60 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Determining Reliability Requirements and Testing Costs in the Early Stages of Single Use Medical Product Design. Issue 1 (11th April 2023) Authors: Eubanks, Fritz Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 14 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Exploring the Test and Evaluation Space using Model Based Conceptual Design (MBCD) Techniques. Issue 1 (11th April 2023) Authors: Flanigan, David; Robinson, Kevin Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 85 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formalizing the Representativeness of Verification Models using Morphisms. Issue 1 (11th April 2023) Authors: Wach, Paul; Beling, Peter; Salado, Alejandro Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 27 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems. Issue 1 (11th April 2023) Authors: Raman, Ramakrishnan; Gupta, Nikhil; Jeppu, Yogananda Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. From Model‐based to Model and Simulation‐based Systems Architectures—Achieving Quality Engineering through Descriptive and Analytical Models. Issue 1 (11th April 2023) Authors: Nowodzienski, Pierre; Navas, Juan Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. FROM THE EDITOR‐IN‐CHIEF. Issue 1 (11th April 2023) Authors: Miller, William Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 6 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Inconsistent and Incomplete Datasheet: The Case for Systematic Use of Requirement Engineering. Issue 1 (11th April 2023) Authors: Brisacier‐Porchon, Lorraine; Hammami, Omar Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 75 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. ISSUE INFORMATION‐TOC. Issue 1 (11th April 2023) Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗