Treffer 1 - 4 von 4 für Suche 'Vissani, Ignacio', Suchdauer: 0,31s Treffer weiter einschränken
  1. 1
    Communicating machines as a dynamic binding mechanism of services

    Communicating machines as a dynamic binding mechanism of services von Vissani, Ignacio, Lopez Pombo, Carlos Gustavo, Tuosto, Emilio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Full Operational Semantics for Asynchronous Relational Networks

    A Full Operational Semantics for Asynchronous Relational Networks von Vissani, Ignacio, Pombo, Carlos Gustavo Lopez, Ţuţu, Ionuţ, Fiadeiro, José Luiz


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Communicating machines as a dynamic binding mechanism of services

    Communicating machines as a dynamic binding mechanism of services von Vissani, Ignacio, Lopez Pombo, Carlos Gustavo, Tuosto, Emilio

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

    Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving von Abad, Pablo, Aguirre, Nazareno, Bengolea, Valeria, Ciolek, Daniel, Frias, Marcelo F., Galeotti, Juan, Maibaum, Tom, Moscato, Mariano, Rosner, Nicolas, Vissani, Ignacio


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: