Mireille Larnac

According to our database1, Mireille Larnac authored at least 6 papers between 1992 and 2000.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
A process for improving multi-technology system high level design: modeling, verification and validation of complex optronic systems.
Proceedings of the IEEE International Conference on Systems, 2000

1999
Simplification of Proof Procedures Based on the Path Condition Concepts.
Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998
User defined multi-criteria added-value for enterprise processes analysis.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Formal Representation and Proof of the Interpreted Sequential Machine Model.
Proceedings of the Computer Aided Systems Theory, 1997

1995
Temporal and Functional Verification of a Symbolic Representation of Complex Systems.
Proceedings of the Computer Aided Systems Theory, 1995

1992
Gestion de la Condition de Chemin dans la simulation symbolique.
PhD thesis, 1992


  Loading...