Coverart for item
The Resource Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers, Anna-Lena Lamprecht (ed.)

Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers, Anna-Lena Lamprecht (ed.)

Label
Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers
Title
Leveraging applications of formal methods, verification, and validation
Title remainder
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers
Statement of responsibility
Anna-Lena Lamprecht (ed.)
Title variation
  • ISoLA 2014
  • ISoLA 2012
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012
Member of
Cataloging source
DKDLA
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.758
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
ISoLA (Symposium)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
2012
http://library.link/vocab/relatedWorkOrContributorName
  • Lamprecht, Anna-Lena
  • ISoLA (Symposium)
Series statement
Communications in Computer and Information Science,
Series volume
683
http://library.link/vocab/subjectName
  • Robots
  • Machine learning
  • Computer software
  • Formal methods (Computer science)
  • Computer science
  • Software engineering
  • Computers
  • Computer logic
  • Logic, Symbolic and mathematical
  • Database management
  • Computer simulation
  • Computation by Abstract Devices
  • Computer logic
  • Computer science
  • Computer simulation
  • Computer software
  • Computers
  • Database management
  • Formal methods (Computer science)
  • Logic, Symbolic and mathematical
  • Machine learning
  • Robots
  • Software engineering
  • Computer Science
  • Software Engineering
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Database Management
  • Simulation and Modeling
  • Computation by Abstract Devices
  • Computers
  • Mathematics
  • Computers
  • Computers
  • Computers
  • Computer programming / software development
  • Mathematical theory of computation
  • Databases
  • 3D graphics & modelling
  • User interface design & usability
  • Computers
  • Software Engineering
Label
Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers, Anna-Lena Lamprecht (ed.)
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-51641-7
Instantiates
Publication
Note
Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium
Extent
1 online resource (vii, 157 pages)
Form of item
online
Isbn
9783319516400
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Note
SpringerLink
Other control number
10.1007/978-3-319-51641-7
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)968302107
  • (OCoLC)ocn968302107
Label
Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers, Anna-Lena Lamprecht (ed.)
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-51641-7
Publication
Note
Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium
Extent
1 online resource (vii, 157 pages)
Form of item
online
Isbn
9783319516400
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Note
SpringerLink
Other control number
10.1007/978-3-319-51641-7
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)968302107
  • (OCoLC)ocn968302107

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...