Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Pascal Poizat
IRIN, Université de Nantes, France

P. Poizat, J.-C. Royer:
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
/jucs_12_12/a_formal_architectural_description
page 1741 - 1782
Vol.12 / Issue 12
C. Canal, J.M. Murillo, P. Poizat:
Software Adaptation
/jucs_14_13/software_adaptation%20
page 2107 - 2109
Vol.14 / Issue 13
C. Choppy, P. Poizat, J.-C. Royer:
The Korrigan Environment
/jucs_7_1/the_korrigan_environment
page 19 - 36
Vol.7 / Issue 1