Limit Search Results
Author
SpringerLink (Online service)
(24)
Hinchey, Mike. editor.
(2)
Kunčak, Viktor. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Majumdar, Rupak. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(17)
Computer science.
(12)
Computer Science Logic and Foundations of Programming.
(8)
Formal Languages and Automata Theory.
(7)
Machine theory.
(7)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Author 
Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44960-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
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
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
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
Author 
Khedker, Uday., author. Sanyal, Amitabha. Karkare, Bageshri.
Preferred Shelf Number 
QA76.76 .C65 K54 2009
Electronic Access 
Click here to view.
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
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
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 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:
9. 
Cover image for 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: