Conrado Daws
发表
Conrado Daws,
Sergio Yovine,
1996,
RTSS.
Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
Electron. Notes Theor. Comput. Sci..
Conrado Daws,
2004,
ICTAC.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1998,
CAV.
Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
International Journal on Software Tools for Technology Transfer.
Conrado Daws,
Sergio Yovine,
S. Yovine,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1996,
Hybrid Systems.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1998,
FTRTFT.
Stavros Tripakis,
Conrado Daws,
S. Tripakis,
1998,
TACAS.
Conrado Daws,
Sergio Yovine,
Alfredo Olivero,
1994,
FORTE.
Conrado Daws,
1998,
CAV.
Conrado Daws,
Piotr Kordy,
C. Daws,
2006,
FORMATS.