Assurance Case Property Checking with MMINT-A and OCL

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Annual Conference on Systems Engineering Research (18. : 2020 : Online) Recent trends and advances in model based systems engineering
1. Verfasser: Fung, Nick L. S. (VerfasserIn)
Weitere Verfasser: Kokaly, Sahar (VerfasserIn), Di Sandro, Alessio (VerfasserIn), Chechik, Marsha (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Employing Digital Twins Within MBSE: Preliminary Results and Findings 2022 Purohit, Shatad
Digital Modernization for Systems Engineering 2022 Buenfil, Jorge
Probabilistic System Modeling for Complex Systems Operating in Uncertain Environments 2022 Pouya, Parisa
Ontology-Driven Knowledge Modeling and Reasoning for Multi-domain System Architecting and Configuration 2022 Petnga, Leonard
Fuzzy Multicriteria Optimization for System Engineer’s Design of Myoelectric Prostheses 2022 Garner, Kenneth W.
A Systems Modeling Illustration of the Military Academy Doolie Cadet System 2022 Oh, Nathan Hasuk
Project Managers and Systems Engineers, "Can two walk together, unless they agree?": Recent Research Findings on Development Projects 2022 Kordova, Sigal
Exploration of MBSE Methods for Inheritance and Design Reuse in Space Missions 2022 Trujillo, Alejandro E.
Transdisciplinary Systems Engineering Approaches 2022 Mesmer, Bryan
A Systems Science Basis for Compositionality Reasoning 2022 Natarajan, Swaminathan
A Bioinspired Framework for Analyzing and Predicting the Trade-off Between System of Systems Attributes 2022 Chatterjee, Abheek
Enterprise Architecting Applied to Small Unmanned Aircraft System Integration into Low-Altitude Urban Airspace 2022 Vetter, Raymond T.
Application and Modelling of Systems Engineering Methods to Deployed Enterprise Content Management Systems 2022 Bren, Stephan
Minimum Viable Model to Demonstrate Value Proposition of Ontologies for Model-Based Systems Engineering 2022 Madni, Azad M.
Dynamic Causal Hidden Markov Model Risk Assessment 2022 Sievers, Michael
Digital Engineering Ecosystem for Future Nuclear Power Plants: Innovation of Ontologies, Tools, and Data Exchange 2022 Ritter, Christopher
Ontological Modeling of Time and Time-Based Reasoning for Systems of Systems 2022 Sagi, Surya Vamsi Varma
Ontology-Enabled Hardware-Software Testbed for Engineering Adaptive Systems 2022 Ordoukhanian, Edwin
Data Analytics of a Honeypot System Based on a Markov Decision Process Model 2022 Wang, Lidong
COSYSMO 3.0’s Improvements in Estimating and Methodology 2022 Alstad, James P.
Alle Artikel auflisten