Veszprm Optimization Conference: Advanced Algorithms
High-level Supervision of Program Execution Based on Formal Specification
Proc. The IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC-2004)
Correctness-proven code generation for MDA
Abstract Model-based Checkpoint and Recovery
Graph Transformations in Relational Databases
Journal of Software and Systems Modeling
Proc. EUROMICRO'04 Workshop on Component Based Software Engineering
Proc. ICGT 2004: Second International Conference on Graph Transformation
Style-Based Refinement of Dynamic Software Architectures
Volume of Extended Abtsracts of Conference of PhD Students in Computer Science
FormÃ¡lis mÃ³dszerek az informatikÃ¡ban - Formal methods in Informatics (in Hungarian)
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Publication export from Budapest University of Technology and Economics
Model--based Optimization and Verification of IT Systems
Optimization of Production Nets under Temporal Constraints
Graph Transformation with Incremental Updates
Proc. The International Conference on Dependable Systems and Networks (DSN-2003) Workshop on Architecting Dependable Systems (Supplemental Volume)
Proc. UML 2004: 7th International Conference on the Unified Modeling Language
Model Checking Graph Transformations: A Comparison of Two Approaches
Conference of PhD Students in Computer Science
Building Complex Systems of Web Services
Static Safety Analysis of UML Action Semantics for Critical Systems Development
Proc. The IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2004)
Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms
Modeling and Analysis of Exception Handling techniques by Using UML Statecharts
Automated Formal Verification of Visual Modeling Languages by Model Checking
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques
UML Based Design of Time Triggered Systems
Generic and Meta-Transformations for Model Transformation Engineering
Proc. GraBaTs 2004: International Workshop on Graph Based Tools
UML based Visual Design of Embedded Systems
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
Proc. FIDJI 2004 International Workshop on Scientific Engineering of Distributed Java Applications