Search Results for Computer software--Verification.

12 Results Found

000000000000DEFAULT

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

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:

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

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:

Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Author

Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520625.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42622-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Author

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521324.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7584-6

Format:

Availability

Online Library~1

Available:
Copies:

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Author

Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518878.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21365-1

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

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:

10.

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:

11.

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:

12.

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:

	{displayName}	{count}
{error}