|
СТ |
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 |
