Search Results - "Z notation"
-
1
Specifying a recovery model for survivable system
Published 2007“…The fault tolerance is discussed in different perspective. The Z Notation is used to specify the model as it provides a succinct and unambiguous way of specifying services. …”
Get full text
Get full text
-
2
The formal specification for competency requirements
Published 2011“…The competency requirement specification written uses Z notation.…”
Get full text
Get full text