Search Results for Temporal automata. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTemporal$002bautomata.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300?2024-11-07T04:36:47ZAutomata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systemsent://SD_ILS/0/SD_ILS:1918272024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Puppis, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approachent://SD_ILS/0/SD_ILS:1835362024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5208402024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520840.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210822024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521082.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42626-1">https://doi.org/10.1007/978-3-031-42626-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211392024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5213882024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(521388.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30105-6">https://doi.org/10.1007/978-3-031-30105-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5209112024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520911.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209842024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520984.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211952024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521195.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43587-4">https://doi.org/10.1007/978-3-031-43587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213402024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521340.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213072024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)<br/>Preferred Shelf Number XX(521307.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40725-3">https://doi.org/10.1007/978-3-031-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:5213112024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521311.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44198-1">https://doi.org/10.1007/978-3-031-44198-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5187982024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518798.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mining software specifications methodologies and applicationsent://SD_ILS/0/SD_ILS:2897522024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Lo, David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439806272">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Fisher, Michael, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a>
<a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of dynamic system modelingent://SD_ILS/0/SD_ILS:2865752024-11-07T04:36:47Z2024-11-07T04:36:47ZAuthor Fishwick, Paul A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420010855">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>