RELATED PROJECTS







  • Architectures for Mobility
  • Dynamic Assembly, Reconfiguration and Type-checking
  • Design Environments for Global ApplicationS
  • Models and Types for Security in Mobile Distributed Systems
  • Proofs of Functionality for Mobile Distributed Systems
  • Computational Logic Portal

  • Martin Hofmann