Publication export from Budapest University of Technology and Economics
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), May 2-5, 1999, Saint Malo, France
Towards a Formal Operational Semantics of UML Statechart Diagrams
Formal Verification of Fault Tolerance Techniques in UML
Automated Dependability Analysis of UML Designs
Concurrent Error Detection of Program Execution Based on Statechart Specification
Automatic Verification of UML Statechart Diagrams using the SPIN Model-Checker
Dependable Computing -- EDCC-3, Fast Abstracts, September 15-17, 1999, Prague, Czech Republic
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
Proc. 10th European Workshop on Dependable Computing (EWDC-10), May 6-7, Vienna, Austria
Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), November 17-19, 1999, Washington DC
Automatic Dependability Analysis for Supporting Design Decisions in UML