Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > author
:
C. Potts, K. Takahashi, and A.I. Antón
or
Canadian Engineering Accreditation Board, Engineers Canada
or
G. Voland
or
M. Utting and B. Legeard
or
T.Y. Chen et al
or
Other
& article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& edition
:
11th ed.
or
2nd ed.
or
2th ed
or
2th ed.
or
9th ed
or
Other
or
None
& publisher
:
IEEE
or
ISO
or
Jones and Bartlett Publishers
or
Silicon Press
or
Thomson West
& issue:
None
& date
:
2001
or
2011
& part
:
Other
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)
![](/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)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
Click on the filter values below to narrow your results.
15026.1-2011 Trial-Use Standard Adoption of ISO/IEC TR 15026-1:2010 Systems and Software Engineering—Systems and Software Assurance—Part 1:
Concepts and Vocabulary (1) ·
9241-420:2011 Ergonomics of Human-System Interaction (1) ·
Towards a Business Maintenance Model, Proc. Int’l Conf. Software Maintenance (1)
Showing below up to 3 results in range #1 to #3.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)