Compositional model-checking verification of critical systems
Luis E. Mendoza, Manuel I. Capel, María Pérez and Kawtar Benghazi
| Year of publication: |
2009
|
|---|---|
| Authors: | Mendoza, Luis E. ; Capel, Manuel I. ; Pérez, María ; Benghazi, Kawtar |
| Published in: |
Enterprise information systems : 10th International Conference, ICEIS 2008, Barcelona, Spain, June 12-16, 2008 ; revised selected papers. - Berlin : Springer, ISBN 3-642-00669-8. - 2009, p. 213-225
|
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003844610