PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kerbrat, Alain"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Component-Based Programming and Application Management with Olan.

, , , und . OBPDC, Volume 1107 von Lecture Notes in Computer Science, Seite 290-309. Springer, (1995)

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 Kerbrat, Alain
Eine Person hinzufügen mit dem Namen Kerbrat, Alain
 

Weitere Publikationen von Autoren mit dem selben Namen

Verification and test generation for the SSCOP protocol., , , , , , , und . Sci. Comput. Program., 36 (1): 27-52 (2000)Reachable state space analysis of LOTOS specifications.. FORTE, Volume 6 von IFIP Conference Proceedings, Seite 181-196. Chapman & Hall, (1994)SDL for Real-Time: What is Missing?, , , , , und . SAM, Seite 108-. VERIMAG, IRISA, SDL Forum, (2000)CADP - A Protocol Validation and Verification Toolbox., , , , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 437-440. Springer, (1996)Automated test generation from SDL specifications., , und . SDL Forum, Seite 135-152. Elsevier, (1999)Formal Specification of a Framework for Groupware Development., und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 303-310. Chapman & Hall, (1995)Specification and execution of tests using tMsc., und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 453-468. Kluwer, (1999)Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets., , und . SDL Forum, Seite 475-490. Elsevier, (1997)Symbolic Equivalence Checking., , und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 85-96. Springer, (1993)Protocol Verification with the ALDÉBARAN Toolset., , , und . STTT, 1 (1-2): 166-184 (1997)