Вы здесь

Royer J. -C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation 2001 Choppy C., Poizat P., Royer J. -C. Lecture Notes in Computer Science 05.05.2001
СТ A Global Semantics for Views 2000 Choppy C., Poizat P., Royer J. -C. Lecture Notes in Computer Science 17.06.2000
СТ From Informal Requirements to COOP: A Concurrent Automata Approach 1999 Poizat P., Choppy C., Royer J. -C. Lecture Notes in Computer Science 26.10.1999
СТ Concurrency and Data Types: A Specification Method. An Example with LOTOS 1999 Poizat P., Choppy C., Royer J. -C. Lecture Notes in Computer Science Lecture Notes in Computer Science 27.08.1999
СТ Optimizing Method Search with Lookup Caches and Incremental Coloring 1992 Andre P., Royer J. -C. SIGPLAN Notices 15.12.1992