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

Jean-Claude Royer
IRIN, Université de Nantes, France

P. Poizat, J.-C. Royer:
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
page 1741 - 1782
Vol.12 / Issue 12
C. Choppy, P. Poizat, J.-C. Royer:
The Korrigan Environment
page 19 - 36
Vol.7 / Issue 1