Login / Signup
C. Durante
Publication Activity (10 Years)
Years Active: 1984-1995
Publications (10 Years): 0
</>
Publications
</>
Abdennour El Rhalibi
,
François Prunet
,
C. Durante
From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets.
MASCOTS
(1995)
M.-H. Gentil
,
Didier Crestani
,
Abdennour El Rhalibi
,
C. Durante
A new high level testability measure: description and evaluation.
VTS
(1994)
R. Alali
,
C. Durante
,
J. J. Mercier
A model for non interpreted structures of logical systems.
DAC
(1984)