Search Results for Formal methods (Computer science)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-03T13:01:31Z
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:601811
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
ent://SD_ILS/0/SD_ILS:605668
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ent://SD_ILS/0/SD_ILS:605987
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
ent://SD_ILS/0/SD_ILS:605988
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
ent://SD_ILS/0/SD_ILS:609023
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602014
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:602946
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:602531
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52113-3">https://doi.org/10.1007/978-3-031-52113-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic approaches to modeling and analysis of biological systems
ent://SD_ILS/0/SD_ILS:598490
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Preferred Shelf Number QH324.2 .S96 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-life Applications with Membrane Computing
ent://SD_ILS/0/SD_ILS:613821
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55989-6">https://doi.org/10.1007/978-3-319-55989-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Current Trends on Knowledge-Based Systems
ent://SD_ILS/0/SD_ILS:614013
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51905-0">https://doi.org/10.1007/978-3-319-51905-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Aware Computing Systems
ent://SD_ILS/0/SD_ILS:611535
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613073
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:617465
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617902
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56300-8">https://doi.org/10.1007/978-3-319-56300-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617240
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
ent://SD_ILS/0/SD_ILS:611871
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23338-3">https://doi.org/10.1007/978-3-319-23338-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613374
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49529-2">https://doi.org/10.1007/978-3-662-49529-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear and Integer Programming Made Easy
ent://SD_ILS/0/SD_ILS:614110
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Hu, T. C. author. Kahng, Andrew B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24001-5">https://doi.org/10.1007/978-3-319-24001-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Artificial Intelligence
ent://SD_ILS/0/SD_ILS:615832
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Flasiński, Mariusz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40022-8">https://doi.org/10.1007/978-3-319-40022-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612310
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal methods applied to complex systems : implementation of the B Method
ent://SD_ILS/0/SD_ILS:342119
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Boulanger, Jean-Louis, editor.<br/>Preferred Shelf Number ONLINE(342119.1)<br/>Electronic Access ebrary <a href="http://alltitles.ebrary.com/Doc?id=10899803">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119002727">http://dx.doi.org/10.1002/9781119002727</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal methods applied to industrial complex systems
ent://SD_ILS/0/SD_ILS:342122
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Boulanger, Jean-Louis, editor.<br/>Preferred Shelf Number ONLINE(342122.1)<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119004707">http://dx.doi.org/10.1002/9781119004707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal methods for industrial critical systems a survey of applications
ent://SD_ILS/0/SD_ILS:249398
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
ent://SD_ILS/0/SD_ILS:280386
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author FOIS (Conference) (7th : 2012 : Graz, Austria) Donnelly, Maureen. Guizzardi, Giancarlo. IOS Press.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial used of formal method formal verification
ent://SD_ILS/0/SD_ILS:305391
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Boulanger, Jean-Louis.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling in Event-B system and software engineering
ent://SD_ILS/0/SD_ILS:277993
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Abrial, Jean-Raymond.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teamwork in multi-agent systems a formal approach
ent://SD_ILS/0/SD_ILS:298099
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470665237">http://dx.doi.org/10.1002/9780470665237</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10389590">http://site.ebrary.com/lib/alltitles/Doc?id=10389590</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital system verification a combined formal methods and simulation framework
ent://SD_ILS/0/SD_ILS:279164
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Li, Lun, 1970- Thornton, Mitchell Aaron.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process algebra for parallel and distributed processing
ent://SD_ILS/0/SD_ILS:545039
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-<br/>Preferred Shelf Number QA76.58 .P7664 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420064872">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Practical UML statecharts in C/C++ event-driven programming for embedded systems
ent://SD_ILS/0/SD_ILS:147373
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Samek, Miro.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750687065">http://www.sciencedirect.com/science/book/9780750687065</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and verification of real-time systems formalisms and software tools
ent://SD_ILS/0/SD_ILS:297545
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Merz, Stephan. Navet, Nicolas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470611012">http://dx.doi.org/10.1002/9780470611012</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html">http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification techniques for system-level design
ent://SD_ILS/0/SD_ILS:146848
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123706164">http://www.sciencedirect.com/science/book/9780123706164</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
ent://SD_ILS/0/SD_ILS:253817
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Drusinsky, Doron.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750679497">http://www.sciencedirect.com/science/book/9780750679497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software specification methods
ent://SD_ILS/0/SD_ILS:302362
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html">http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470612514">http://dx.doi.org/10.1002/9780470612514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cafe an industrial-strength algebraic formal method
ent://SD_ILS/0/SD_ILS:253753
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic logic
ent://SD_ILS/0/SD_ILS:219967
2026-04-03T13:01:31Z
2026-04-03T13:01:31Z
Author Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>