[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
Treharne, Helen, King, Steve, Henson, Martin, Schneider, SteveVolume:
10.1007/b1
Année:
2005
Langue:
english
DOI:
10.1007/11415787_7
Fichier:
PDF, 199 KB
english, 2005