Вы здесь

Poizat P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Integration of Formal Datatypes within State Diagrams 2003 Attiogbe C., Poizat P., Salaun G. Lecture Notes in Computer Science 17.04.2003
СТ 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