https://catalogue-scientifique.canada.ca/record=2160621~S6*frc
Rechercher Clements, P. C; Rechercher Heitmeyer, C. L; Rechercher Labaw, B. G; Rechercher Rose, A. T
naval research lab washington dc center for high assurance computing systems (chacs), 1993
This paper introduces MT, a collection of integrated tools for specifying and analyzing real-time systems using the Mode chart language. The toolset includes...
Publication gouvernementale