Testing Theory in Practice: a Simple Experiment

Autor:	Terpstra, R., Luís Ferreira Pires, Heerink, A. W., Tretmans, G. J.
Rok vydání:	1996
Předmět:	METIS-120076 METIS-119104
Zdroj:	Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design, 168-183 STARTPAGE=168;ENDPAGE=183;TITLE=Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design University of Twente Research Information (Pure Portal)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61ee68c2f1844e2bc7066a3224282d70 https://research.utwente.nl/en/publications/3eb21f5f-7382-4ccb-afec-513da9e17f69 Zobrazit plný text záznamu