Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anis Otmane Cherif
Using HiGraph to Define a Formal Integrated System Modeling Framework That Ensures Complete System Consistency
Related publications
A Programmable Particle System Framework for Shape Modeling
Design Modeling of a University’s Comprehensive-Integrated Security System
Integration of Education
Education
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Formal Modeling and Data Validation of General Railway Interlocking System
11.1.2 a Process Modelling Framework for Formal Validation of Panama Canal System Operations
INCOSE International Symposium
Automation to Define Critical Way in Logistical System
Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova
Using Integrated Method to Rank the Power System Contingency
Scientia Iranica
An Integrated Transportation Use Modeling System for Indiana
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Software
