Suchergebnisse - "Software/Program Verification—Model checking General Terms Experimentation"

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

Autoren: Maurice H. Ter Beek Via G. Moruzzi Franco Mazzanti et al.

Weitere Verfasser: Maurice H. Ter Beek Via G. Moruzzi Franco Mazzanti et al.

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

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

Dateibeschreibung: application/pdf

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

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

Debugging Agent Interactions: a Case Study

Autoren: David Flater National The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: David Flater National The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.nist.gov/msidlibrary/doc/debug.pdf.

Schlagwörter: General Terms Experimentation, Verification. Keywords Agents, coordination, negotiation, scheduling

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2079; http://www.nist.gov/msidlibrary/doc/debug.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2079
http://www.nist.gov/msidlibrary/doc/debug.pdf