Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& publication
:
IEEE Std. 1012-2012 Standard for System and Software Verification and Validation
or
Practical Model-Based Testing: A Tools Approach
or
Stevens Prize Lecture
or
The 4+1 View Model of Architecture
or
Towards a Business Maintenance Model, Proc. Int’l Conf. Software Maintenance
& date
:
1981
or
1994
or
Jan. 2010
or
None ![](/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)
![](/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.