CA
|
ES
|
EN
Intranet
RESEARCH
RESEARCH GROUPS
MULTIAGENT SYSTEMS
LEARNING SYSTEMS
LOGIC & REASONING
RESEARCH THEMES
ETHICS AND AI
AI AND EDUCATION
AI FOR HEALTHCARE
ALLIANCES
ASSOCIATED UNITS
PROJECTS
PUBLICATIONS
THESES
ARS MAGNA CLUSTER & HPC-AI SERVICES
EDUCATION
PHD STUDIES
ENGAGEMENT
PUBLIC ENGAGEMENT
ACADEMIC ENGAGEMENT
INDUSTRY ENGAGEMENT
TECHNOLOGY TRANSFER & DEVELOPMENT UNIT (UDT)
INDUSTRIAL PHD
ARS MAGNA CLUSTER & HPC-AI SERVICES
PEOPLE
STAFF & STUDENTS
ALUMNI
OPEN POSITIONS
PAST PERSONNEL
NEWS & EVENTS
NEWS
EVENTS
SEMINARS
OPEN PROJECT CALLS
CALL FOR TENDERS
JOIN US
ABOUT
MESSAGE FROM THE DIRECTOR
IIIA IN THE MEDIA
AWARDS & HONOURS
HOW TO GET TO IIIA
CONTACT US
SEARCH
The Calculus of Refinements, a Formal Specification Model Based on Inclusions
The Calculus of Refinements, a Formal Specification Model Based on Inclusions
Jordi
Jordi
Levy
Levy
(
)
The Calculus of Refinements, a Formal Specification Model Based on Inclusions
The Calculus of Refinements, a Formal Specification Model Based on Inclusions
[PDF]
/media/publications/MONOG_2_J.LEVY.pdf
An industrial PhD
Advisors:
Jaume Agustí-Cullell
Jaume Agustí-Cullell
University:
Abstract: