Amanote Research
Register
Sign In
An Example of a Hierarchical System Model Using SEAM and Its Formalization in Alloy
doi 10.1109/edocw.2007.3
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2007
Authors
Alain Wegmann
Lam-Son Lê
Irina Rychkova
Gil Regev
Publisher
IEEE
Related search
A Hierarchical Indexation System: The Example of Emerillon (Teko)
Trends in Linguistics. Studies and Monographs [TiLSM]
Meta-Analysis in Higher Education: An Illustrative Example Using Hierarchical Linear Modeling
Research in Higher Education
Education
Comprehensive Observation and Its Role in Self-Awareness; An Emotion Recognition System Example
Sonar Image Segmentation Using an Unsupervised Hierarchical MRF Model
IEEE Transactions on Image Processing
Computer Graphics
Computer-Aided Design
Software
Hierarchical Multithreading: Programming Model and System Software
An Example of Three Dimensional Ground Model Development for Earthquake Response Analysis by Using a Simple Ground Modeling System
Japanese Geotechnical Society Special Publication
Formalization of an Integrated System/Project Design Framework: First Models and Processes
Non-Directionality and Self-Assessment in an Example-Based System Using Genetic Algorithms
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
