Design, implementation, analysis, and management of reliable, highly available and safety-critical systems
Application of precise models and model-transformations in software design, implementation and project management
Application of formal methods in the design, synthesis, verification and validation of computer systems Read more »
