Paraphrasage d'une spécification formelle B, un premier essai.

Djenabou Diallo Alain Vailly

Published in: INFORSID (1997)

Keyphrases

cutting edge
computing education
leading edge
allocation strategy
cooperative
evolutionary algorithm
genetic algorithm
computational complexity
information technology
special case