11th European Workshop on Dependable Computing (EWDC-11), Budapest, May 11-13, 2000
Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models
UML'2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), October 2-3, York, UK
Formal Validation of UML Statechart Diagrams Models
Designing the Automatic Transformation of Visual Languages
Proc. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), November 15-17, 2000, Albuquerque, New Mexico
Dependability Modeling of FT-CORBA Architectures
Visual Graph Transformation in System Verification
DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Publication export from Budapest University of Technology and Economics
GRATRA 2000 Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems
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
Completeness and Consistency Analysis of UML Statechart Specifications