3
Research output
4
Citations
1
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Weighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
Computer Science
Engineering
Social Sciences
Keyphrases
- automated theorem proving
- critical systems
- UML
- Object Constraint Language
- formal modeling
- formal verification
- security policy specification
- information security
- confidentiality, integrity and availability
- model-driven engineering
- secure software development
- formal specification
- traceability
- incremental development
- formal methods
- security requirements
- life cycle development
- Zenon