Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	RAIRO. Informatique théorique et applications 1986, Vol.20 (3), p.291-318
1. Verfasser:	Darondeau, Ph
Format:	Artikel
Sprache:	fre
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!