Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
11
& article:
“A Specifier’s Introduction to Formal Methods”
& publication
:
IEEE Std. 1069-2009 Standard for Information Technology—Systems Design—Software Design Descriptions
or
Journal of Systems and Software
or
Software Architecture in Practice
or
Software Engineering Economics
& edition
:
4th ed.
or
9th ed.
or
vol. 83, no. 1 ![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
Click on the filter values below to narrow your results.
There are no results for this report.