Application of Formal Methods to Signalling Systems Using Techniques Based on Stepwise Refinement

Autor:	Natsuki Terada
Rok vydání:	2008
Předmět:	Signalling Theoretical computer science Computer science Mechanical Engineering B-Method Top-down and bottom-up design Formal methods
Zdroj:	Quarterly Report of RTRI. 49:168-172
ISSN:	1880-1765 0033-9008
DOI:	10.2219/rtriqr.49.168
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f60fe1f072f0b8e2cefed32f35c5c949 https://doi.org/10.2219/rtriqr.49.168 Zobrazit plný text záznamu