( en | de | ru )

 

Disambiguierung von "Puchol, Carlos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).

, , , , und . ICSE, Seite 525-535. ACM, (1997)

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.

Carlos Bäzner

Carlos Cardonha

Carlos Köhler

Carlos Oberacker

Carlos Schwager

 

Weitere Publikationen von Autoren mit dem selben Namen

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report., , , , , , und . ICSE, Seite 159-168. ACM, (1995)Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software., , und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 127-140. Springer, (1995)Objects and Concurrency in Triveni: A Telecommunication Case Study in Java., , , , und . COOTS, Seite 131-149. USENIX, (1998)Compiling Modechart Specifications., , und . RTSS, Seite 256-265. IEEE Computer Society, (1995)A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL., , und . Formal Methods Syst. Des., 8 (2): 123-151 (1996)Integrated Design Tools for Hard Real-Time Systems., und . RTSS, Seite 368-378. IEEE Computer Society, (1998)A formal approach to reactive systems software: a telecommunications application in ESTEREL., , und . WIFT, Seite 132-145. IEEE Computer Society, (1995)An Operational Semantics and Compiler for Real-Time Specifications., , und . Integr. Comput. Aided Eng., 5 (3): 187-206 (1998)Integrated web and telephone service creation., , , , , , , , , und 1 andere Autor(en). Bell Labs Tech. J., 2 (1): 19-35 (1997)Achieving High Performance sonar-based Wall-following.. AIRTC, Seite 233-236. Elsevier, (1994)