The Case for Formal Methods in Standards
Year of publication: |
1990-09
|
---|---|
Authors: | Blyth, David ; Boldyreff, Cornelia ; Ruggles, Clive ; Tetteh-Lartey, Nik |
Publisher: |
IEEE Computer Society Press |
Subject: | computer applications development | programming languages | standards development | computer engineering |
-
Standardization as a catalyst for open and responsible innovation
Pīlēna, Arta, (2021)
-
de Vries, Henk J., (2017)
-
From national to supranational government inter-organizational systems : an extended typology
Rukanova, B., (2009)
- More ...
-
Quality factors and coding standards - a comparison between open source forges
Capiluppi, Andrea, (2008)
-
Kim, Hyoseob, (2005)
-
Kim, Hyoseob, (2005)
- More ...