Arama Sonuçları Formal methods (Computer science)SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-31T20:17:49ZReal Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Careerent://SD_ILS/0/SD_ILS:6056682026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:6018112026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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, Proceedingsent://SD_ILS/0/SD_ILS:6025312026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6020142026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symbolic approaches to modeling and analysis of biological systemsent://SD_ILS/0/SD_ILS:5984902026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Yer Numarası QH324.2 .S96 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Current Trends on Knowledge-Based Systemsent://SD_ILS/0/SD_ILS:6140132026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models of Computationent://SD_ILS/0/SD_ILS:6160612026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6172402026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:6174652026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Aware Computing Systemsent://SD_ILS/0/SD_ILS:6115352026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-life Applications with Membrane Computingent://SD_ILS/0/SD_ILS:6138212026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6179022026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6133742026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear and Integer Programming Made Easyent://SD_ILS/0/SD_ILS:6141102026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Hu, T. C. author. Kahng, Andrew B. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Artificial Intelligenceent://SD_ILS/0/SD_ILS:6158322026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Flasiński, Mariusz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Productionent://SD_ILS/0/SD_ILS:6118712026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6123102026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal methods applied to complex systems : implementation of the B Methodent://SD_ILS/0/SD_ILS:3421192026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Boulanger, Jean-Louis, editor.<br/>Yer Numarası ONLINE(342119.1)<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal methods applied to industrial complex systemsent://SD_ILS/0/SD_ILS:3421222026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Boulanger, Jean-Louis, editor.<br/>Yer Numarası ONLINE(342122.1)<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119004707">http://dx.doi.org/10.1002/9781119004707</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal methods for industrial critical systems a survey of applicationsent://SD_ILS/0/SD_ILS:2493982026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)ent://SD_ILS/0/SD_ILS:2803862026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar FOIS (Conference) (7th : 2012 : Graz, Austria) Donnelly, Maureen. Guizzardi, Giancarlo. IOS Press.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Industrial used of formal method formal verificationent://SD_ILS/0/SD_ILS:3053912026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Boulanger, Jean-Louis.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Teamwork in multi-agent systems a formal approachent://SD_ILS/0/SD_ILS:2980992026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling in Event-B system and software engineeringent://SD_ILS/0/SD_ILS:2779932026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Abrial, Jean-Raymond.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital system verification a combined formal methods and simulation frameworkent://SD_ILS/0/SD_ILS:2791642026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Li, Lun, 1970- Thornton, Mitchell Aaron.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Process algebra for parallel and distributed processingent://SD_ILS/0/SD_ILS:5450392026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-<br/>Yer Numarası QA76.58 .P7664 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420064872">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical UML statecharts in C/C++ event-driven programming for embedded systemsent://SD_ILS/0/SD_ILS:1473732026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Samek, Miro.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750687065">http://www.sciencedirect.com/science/book/9780750687065</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification techniques for system-level designent://SD_ILS/0/SD_ILS:1468482026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123706164">http://www.sciencedirect.com/science/book/9780123706164</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling and verification of real-time systems formalisms and software toolsent://SD_ILS/0/SD_ILS:2975452026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Merz, Stephan. Navet, Nicolas.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checkingent://SD_ILS/0/SD_ILS:2538172026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Drusinsky, Doron.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750679497">http://www.sciencedirect.com/science/book/9780750679497</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software specification methodsent://SD_ILS/0/SD_ILS:3023622026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic logicent://SD_ILS/0/SD_ILS:2199672026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532026-03-31T20:17:49Z2026-03-31T20:17:49ZYazar Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>