Rachida Dssouli, Ferhat Khendek
pág. 699
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol
Loïc Hélouët
págs. 701-714
Implicit integration of scenarios into a reduced timed automaton
G. Lapalme, A. Salah, R. Dssouli
págs. 715-725
págs. 727-741
A rigorous approach for constructing self-evolving real-time reactive systems
R. Achuthan, M. Haydar, M. Zheng, O. Ormandjieva, D. Muthiayen, V.S. Alagar
págs. 743-761
Formal verification and validation for e-commerce: theory and best practices
Maurus Cappa, Yanping Chen, D. Paul Sims, Robert L. Probert, Behrad Ghazizadeh
págs. 763-777
John Mullins, Stéphane Lafrance
págs. 779-790
© 2001-2024 Fundación Dialnet · Todos los derechos reservados