A Boolean Algebra Of Contracts For Assume Guarantee Reasoning.pdf
Last update : 2 weeks ago
"A Boolean algebra of contracts for assume-guarantee reasoning" is owned and hosted by irisa.fr, this file has been downloaded 137 times, the last time was in 2025-04-05.
The pdf has been created in 2009-08-24, if you want to preview or download it, just click the link below.
| Download | ||
| Title | A Boolean algebra of contracts for assume-guarantee reasoning | |
| File Name | facs09.pdf - 588.23 KB | |
| Pages | 15 pages | |
| Owner | irisa.fr | |
| Creation date | 15 years ago | |
| Nb of downloads | 137 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "A Boolean algebra of contracts for assume guarantee reasoning" does not meet your expectations, we invite you to take a look at the similar files below :
Related files to A Boolean algebra of contracts for assume guarantee reasoning
Ansökan Om Ersättning För Kostnader För äldre Sjuka Och Funktionshindrade För Stöd Och Hjälp I Boendet För Personer Mottagna I Kommun Före Den 1 De
hemtjanst_bl4476b.pdf
More files from irisa.fr
Thèse Univ Rennes Et Univ Genève
Owner : irisa.fr
Combining Processor Virtualization And Component Based Engineering
Owner : irisa.fr
These Dvi
Owner : irisa.fr
Grids Services For Medical Image Analysis And Registration
Owner : irisa.fr
Fusion D Informations Numériques Panorama Méthodologique
Owner : irisa.fr