Výsledky vyhledávání - "Software/Program Verification—Model checking General Terms Experimentation"

F.: CMC-UMC: A framework for the verification of abstract service-oriented properties

Autoři: Maurice H. Ter Beek Via G. Moruzzi Franco Mazzanti a další

Přispěvatelé: Maurice H. Ter Beek Via G. Moruzzi Franco Mazzanti a další

Zdroj: http://rap.dsi.unifi.it/sensoriasite/files/p2111-ter_beek.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking General Terms Experimentation, Verification Keywords Service-Oriented Computing, Model checking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.712

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.712
http://rap.dsi.unifi.it/sensoriasite/files/p2111-ter_beek.pdf