Publications


Formal Methods and Software Development
Analysis and Tools
Verification, Validation & Testing
Software Quality Assurance
Measurement and Experiment
Role Based Access Control
High Integrity Systems
Open Systems


HISSA Homepage