|
|||||
|
|
Applying CSP || B to information systems |
|
| Authors: | Neil Evans Helen Treharne Régine Laleau Marc Frappier |
| Affiliation: | (1) AWE, Aldermaston, UK;(2) Department of Computing, University of Surrey, Surrey, UK;(3) IUT de Fontainebleau, Département Informatique, Université Paris 12, Paris, France;(4) Département d’informatique, Université de Sherbrooke, Sherbrooke, Qc, Canada |
| Abstract: | |
| Keywords: | CSP B Information systems Combining formalisms Compositional verification |
| 本文献已被 SpringerLink 等数据库收录！ | |