HASE 2008: Nanjing, China

Refine list

showing all ?? records

Keynotes

System Security

Network Security

Distributed Systems

Embedded Systems

Formal verification, specification and implementation I

Formal verification, specification and implementation II

Testing

Formal verification, specification and implementation III

Quality, Reliability, and Safety

High assurance systems and programs

Ad hoc network

Data management systems

Service-oriented Computing

Short papers I

Short papers II

a service of  Schloss Dagstuhl - Leibniz Center for Informatics