Phone: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Standards sales: prodaja@iss.rs Education: iss-edukacija@iss.rs Information about standards: infocentar@iss.rs
Stevana Brakusa 2, 11030 Beograd
Main menu

formal specification

English

Name
formal specification
Description

A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.

Serbian

Name
formalna specifikacija
Description

Specifikacija koja se koristi da se matematički dokaže opravdanost implementacije ili da se matematički izvede implementacija sistema.

Serbian

Name
formalna specifikacija
Description

Specifikacija koja se koristi da se matematički dokaže opravdanost implementacije ili da se matematički izvede implementacija sistema.

Related standards

Related ICSs

No information