Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Schär, Jan"'
Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development of substan
Externí odkaz:
http://arxiv.org/abs/2311.14452
