Search Results for Computer software--Verification.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(2)

Andrews, Jason R.

(1)

Bernardo, Marco. editor.

(1)

Boulanger, Jean-Louis.

(1)

Brownsword, Mike

(1)

Calinescu, Radu. editor.

(1)

Cimatti, Alessandro. editor.

(1)

(1)

Jackson, Ethan. editor.

(1)

Karkare, Bageshri.

(1)

(1)

(1)

(1)

Navet, Nicolas.

(1)

(1)

Sanyal, Amitabha.

(1)

Unhelkar, Bhuvan.

(1)

Wiley InterScience (Online service)

(1)

Yoeli, Michael, 1917-

(1)

Language

(9)

Publication Date

-

(2)

(2)

(2)

(1)

(1)

(1)

Subject

Computer software -- Verification.

(6)

Software engineering.

(3)

Computer Communication Networks.

(2)

Computer science.

(2)

Electronic books.

(2)

Formal methods (Computer science)

(2)

Integrated circuits -- Verification.

(2)

Artificial intelligence.

(1)

Automatic theorem proving.

(1)

Compilers (Computer programs)

(1)

Computer simulation.

(1)

Computer software -- Quality control.

(1)

Computer software--Reliability.

(1)

Computer software--Verification.

(1)

Computer system performance.

(1)

Data flow computing.

(1)

Information storage and retrieval systems.

(1)

Information systems.

(1)

LOTOS (Computer program language)

(1)

(1)

(1)

Nondestructive testing.

(1)

(1)

Real-time data processing.

(1)

System analysis.

(1)

(1)

Systems engineering -- Data processing.

(1)

Systems on a chip.

(1)

UML (Computer science)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

9 Results Found

Subscribe to search results

1

000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Author

Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21292-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Author

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11757283

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Industrial used of formal method formal verification

Industrial used of formal method formal verification

Industrial used of formal method formal verification

Author

Boulanger, Jean-Louis.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley http://dx.doi.org/10.1002/9781118561829

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Model-Based Requirements Engineering

Model-Based Requirements Engineering

Model-Based Requirements Engineering

Author

Holt, Jon Perry, Simon A Brownsword, Mike

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBPC009E

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Data flow analysis theory and practice

Data flow analysis theory and practice

Data flow analysis theory and practice

Author

Khedker, Uday. Sanyal, Amitabha. Karkare, Bageshri.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Modeling and verification of real-time systems formalisms and software tools

Modeling and verification of real-time systems formalisms and software tools

Modeling and verification of real-time systems formalisms and software tools

Author

Merz, Stephan. Navet, Nicolas.

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Author

Yoeli, Michael, 1917- Kol, Rakefet.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Co-verification of hardware and software for ARM SoC design

Co-verification of hardware and software for ARM SoC design

Co-verification of hardware and software for ARM SoC design

Author

Andrews, Jason R.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780750677301

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Verification and validation for quality of UML 2.0 models

Verification and validation for quality of UML 2.0 models

Verification and validation for quality of UML 2.0 models

Author

Unhelkar, Bhuvan. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0619/2004065931-b.html
John Wiley http://dx.doi.org/10.1002/0471734322
http://swb.eblib.com/patron/FullRecord.aspx?p=238767

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11