Formal reasoning of knowledge in systems engineering through epistemic modal logic-Reference-Cited by-同舟云学术

Formal reasoning of knowledge in systems engineering through epistemic modal logic

Published:2020-11-11 Issue:1 Volume:24 Page:3-16
ISSN:1098-1241
Container-title:Systems Engineering
language:en
Short-container-title:Syst Eng

Author:

Kannan Hanumanthrao¹^ORCID

Affiliation:

1. Grado Department of Industrial and Systems Engineering Virginia Tech Blacksburg Virginia USA

Publisher

Wiley

Subject

Computer Networks and Communications,Hardware and Architecture

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/sys.21563

Reference79 articles.

1. Model-based systems engineering: Motivation, current status, and research opportunities

2. ChamiM BruelJ‐M.A survey on MBSE adoption challenges. In: INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018) Berlin Germany;2018.

3. CloutierR BoneM.MBSE survey. In:INCOSE International Workshop Los Angeles CA;2015.

4. Managing Requirements Knowledge

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Developing a Theoretical Basis for Validation in Systems Engineering;Conference on Systems Engineering Research Series;2024

2. Model consistency as a heuristic for eventual correctness;Journal of Computer Languages;2023-08

3. Requirements Rationalization and Synthesis Enabled by Model Synchronization;IEEE Open Journal of Systems Engineering;2023

4. Model-Based Requirements;Handbook of Model-Based Systems Engineering;2023

5. A Formal Approach to Identify Inconsistencies in Stakeholder Needs in the Context of Systems Engineering;AIAA SCITECH 2022 Forum;2022-01-03