Using HiGraph to Define a Formal Integrated System Modeling Framework That Ensures Complete System Consistency

doi 10.1109/icseng.2018.8638021
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Programmable Particle System Framework for Shape Modeling

English

Design Modeling of a University’s Comprehensive-Integrated Security System

Integration of Education
Education
2017English

A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2007English

Formal Modeling and Data Validation of General Railway Interlocking System

2018English

11.1.2 a Process Modelling Framework for Formal Validation of Panama Canal System Operations

INCOSE International Symposium
2008English

Automation to Define Critical Way in Logistical System

Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova
2015English

Using Integrated Method to Rank the Power System Contingency

Scientia Iranica
2017English

An Integrated Transportation Use Modeling System for Indiana

1998English

Formal Methods Applied to a Floating-Point Number System

IEEE Transactions on Software Engineering
Software
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy