Synthesis of partial behavior models from properties and scenarios

por Uchitel, S., Brunet, G., Chechik, M.

MTSA: The modal transition system analyser

por D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.

Supporting incremental behaviour model elaboration

por Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D'Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.