PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Fromentin, Eddy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A unified framework for the specification and run-time detection of dynamic properties in distributed computations.

, , und . Journal of Systems and Software, 33 (3): 287-298 (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Fromentin, Eddy
Eine Person hinzufügen mit dem Namen Fromentin, Eddy
 

Weitere Publikationen von Autoren mit dem selben Namen

SATIP6 : Next Generation Satellite System Demonstrator., , , , und . Broadband Satellite Comunication Systems, Volume 169 von IFIP, Seite 53-62. Springer, (2004)Validation of a QoS architecture for DVB-RCS satellite networks via the SATIP6 demonstration platform., , , , , , , und . Computer Networks, 49 (6): 797-815 (2005)Local States in Distributed Computations: A Few Relations and Formulas., und . Operating Systems Review, 28 (2): 65-72 (1994)Recognition of Patterns on Control Flows for Debugging Distributed Executions., , , und . AADEBUG, Seite 221-232. IRISA-CNRS, (1995)A unified framework for the specification and run-time detection of dynamic properties in distributed computations., , und . Journal of Systems and Software, 33 (3): 287-298 (1996)Debugging Distributed Executions by Using Language Recognition., , und . ICPP (2), Seite 55-62. CRC Press, (1995)Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way., und . SPDP, Seite 242-248. IEEE Computer Society, (1994)Expressing and detecting control flow properties of distributed computations., , , und . SPDP, Seite 432-438. IEEE, (1995)Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation., und . ICDCS, Seite 431-438. IEEE Computer Society, (1995)On-The-Fly Analysis of Distributed Computations., , , und . Inf. Process. Lett., 54 (5): 267-274 (1995)