SITE TREE
About IIIA
Departments
Research
Technology Transfer
People
Activities
Library
Monographs
Join Us
Last Ph Ds
Distributed Constraint Optimization Related with Soft Arc Consistency
Using Norms to Control Open Multi-agent Systems
Facing the challenge of automated negotiation with humans
Trust Alignment and Adaptation: Two Approaches for Talking about Trust in Multi-Agent Systems
Intelligent Generation and Control of Interactive Virtual Worlds
Encodings and Benchmarks for MaxSAT Solving
Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view,
Read more >>
Català
English
Español
Home
Contact
Web Map
LOGIN
The Calculus of Refinements, a Formal Specification Model Based on Inclusions
Author:
Jordi Levy
Year:
1994
Advisor:
Jaume Agustí-Cullell
»
Printer-friendly version
desarrollo web innodus
