Browse Actions

Formal Verification of Object-Oriented Software

Combining Soft Computing Techniques and Statistical Methods to Improve Data Analysis Solutions

Data Traffic Monitoring and Analysis: theory, techniques, tools and applications for the future networks

Agreement Technologies

Propagation tools and data for integrated Telecommunication, Navigation and Earth Observation systems

RF/Microwave Communication Subsystems for Emerging Wireless Technologies (RFCSET)

Energy efficiency in large scale distributed systems

Open European Network for High Performance Computing on Complex Environments

Intelligent Monitoring, Control and Security of Critical Infrastructure Systems

Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems