( en | de | ru )

 

Disambiguierung von "de Miguel, Tomás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tool Support to Implement LOTOS Formal Specifications.

, , , und . Computer Networks and ISDN Systems, 25 (7): 815-839 (1993)

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.

Tomás Miguel Schlichter

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

 

Weitere Publikationen von Autoren mit dem selben Namen

Isabel: an application for real time collaboration with a flexible floor control., , , , , , , , , und . CollaborateCom, IEEE Computer Society / ICST, (2005)Educanext: a framework for sharing live educational resources with isabel., , , , , , , und . WWW (Alternate Track Papers & Posters), Seite 11-18. ACM, (2004)Isabel Distribution of the Madrid Global IPv6 Summit 2002., , , , , , , , , und . SAINT Workshops, Seite 200-203. IEEE Computer Society, (2003)Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec., , und . FORTE, Volume C-2 von IFIP Transactions, Seite 467-470. North-Holland, (1991)Implementation of an IPv6 Multihoming Ingress Filtering Compatibility Mechanism Using Automatic Tunnels., , , , und . EUNICE, Volume 196 von IFIP, Seite 59-73. Springer, (2005)ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks., , , , , , , , , und . IWACA, Volume 868 von Lecture Notes in Computer Science, Seite 353-362. Springer, (1994)From LOTOS to C., und . FORTE, Seite 79-84. North-Holland, (1988)Advanced Collaborative Services Provisioning in Next Generation Networks., , und . EUNICE, Volume 196 von IFIP, Seite 203-217. Springer, (2005)Study and emulation of IPv6 Internet-exchange-based addressing models., , und . IEEE Commun. Mag., 42 (1): 105-112 (2004)The SRTS Experience: Using TOPO for LOTOS Design and Realization., , , und . FORTE, Seite 383-394. North-Holland, (1990)