Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'2001), GyÃ´r, Hungary, 18-20 April, 2001
Checking General Safety Criteria on UML Statecharts
Automatic Transformation of UML Models for System Verification
Computer Safety, Reliability and Security (Proc. 20th Int. Conference, SAFECOMP-2001, Budapest, Hungary, September 25-27, 2001)
Completeness and Consistency Analysis of UML Statechart Specifications
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts
Publication export from Budapest University of Technology and Economics
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Proc. of the 27th EUROMICRO Conference, Warsaw, Poland, 4-6 September 2001
WTUML'01: Workshop on Transformations in UML
Dependability Analysis in the Early Phases of UML Based System Design
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
International Journal of Computer Systems - Science & Engineering