|
" Leveraging applications of formal methods, verification, and validation "
Reiner Hähnle ... [and 4 others] (Eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
577984
|
| Doc. No
|
:
|
b407203
|
| Title & Author
|
:
|
Leveraging applications of formal methods, verification, and validation : International Workshops, SARS 2011 and MLSC 2011 : held under the auspices of ISoLa 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /\ Reiner Hähnle ... [and 4 others] (Eds.).
|
| Publication Statement
|
:
|
New York :: Springer,, [2012]
|
| Series Statement
|
:
|
Communications in computer and information science,; 336
|
| ISBN
|
:
|
9783642347801
|
|
|
:
|
: 3642347800
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Subject
|
:
|
Robots-- Programming, Congresses.
|
| Subject
|
:
|
Machine learning, Congresses.
|
| Subject
|
:
|
Computer software-- Verification, Congresses.
|
| Subject
|
:
|
Formal methods (Computer science), Congresses.
|
| Added Entry
|
:
|
Hähnle, Reiner.
|
| Added Entry
|
:
|
ISoLA (Symposium)(2011 :, Vienna, Austria)
|
|
|
:
|
SpringerLink (Online service).
|
| |