Model Checking of Replication Management
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002), April 17-19, Brno, Czech Republic
Proc. ICGT 2002: 1st International Conference on Graph Transformation
Towards Dependability Modeling of FT-CORBA Architectures
Automatic Program Generation for and by Model Transformation Systems
Operation Research Methods in Petri Net--Based Analysis of IT Systems
EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts
Designing the Automatic Transformation of Visual Languages
Dependable Computing -- EDCC-4. Proc. 4th European Dependable Computing Conference, Toulouse, France, 23-25 October
Proc. Fifth International Conference on the Unified Modeling Language -- The Language and its Applications
Verification of UML Statechart Models of Embedded Systems
Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science
Towards Formal Verification of Model Transformations
6th IEEE International Conference on Intelligent Engineering Systems
PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems
Quantitative Analysis of UML Statechart Models of Dependable Systems
Formal Verification of Model Transformation Systems
Petri Net-Based Optimization of Production systems
Towards Symbolic Analysis of Visual Modelling Languages
Proc. AGT 2002: Workshop on Applied Graph Transformation
Proc. GraBaTs 2002, International Workshop on Graph-Based Tools
The Third Conference of PhD Students in Computer Science
VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models
Turning Shoe Information to Knowledge of Technology and Deals
Aktors
en_US
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
website
A Formal Semantics of UML Statecharts by Model Transition Systems
A Pattern-Based Constraint Language for Metamodels
Proc. NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services (Grenoble, France, October 4, 2002)
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering
An Open Visualization Framework for Metamodel-Based Modeling Languages
Graph Transformation with Time: Causality and Logical Clocks
Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference, Toulouse, France, October 23-25
Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques
Publication export from Budapest University of Technology and Economics
This ontology contains information detailing publications held by Budapest University of Technology and Economics