Libero Search Klassifikation=68Q85 List of search items. https://opac.fh-zwickau.de/libero/WebOpac.cls en-us LIBERO, Pty Ltd. Fre, 04 Okt 2024 04:37:52 GMT 5 Advances in Soft Computing, Intelligent Robotics and Control https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500186696 Shelf: <br />Author: Fodor, János<br />Year: 2014<br /> Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500254547 Shelf: <br />Author: <br />Year: 2017<br /> Automatisierungstechnik: Methoden für die Überwachung und Steuerung kontinuierlicher und ereignisdiskreter Systeme ; ... mit 74 Anwendungsbeispielen und 84 Übungsaufgaben https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500110372 Shelf: 70 261<br />Author: Lunze, Jan<br />Year: 2003<br /> Carl Adam Petri: Eine Biographie https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500184082 Shelf: <br />Author: Smith, Einar<br />Year: 2014<br /> Concurrency Control in Distributed System Using Mutual Exclusion https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500269133 Shelf: <br />Author: Kanrar, Sukhendu<br />Year: 2018<br /> Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500243489 Shelf: <br />Author: <br />Year: 2017<br /> Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500273006 Shelf: <br />Author: Ölveczky, Peter Csaba<br />Year: 2017<br /> Discrete, Continuous, and Hybrid Petri Nets https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500114598 Shelf: <br />Author: <br />Year: 2005<br /> Embedded Systems Design Based on Formal Models of Computation https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500162681 Shelf: <br />Author: Radojevic, Ivan<br />Year: 2011<br /> Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems: Analytical and Soft Computing Approaches https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500184942 Shelf: <br />Author: Witczak, Marcin<br />Year: 2014<br /> Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500243030 Shelf: <br />Author: Zhan, Naijun<br />Year: 2017<br /> Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500144975 Shelf: <br />Author: Kleuker, Stephan<br />Year: 2009<br /> Formalisms for Reuse and Systems Integration https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500196153 Shelf: <br />Author: Bouabana-Tebibel, Thouraya<br />Year: 2015<br /> High-level Petri nets: theory and application https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500018823 Shelf: ST 130 J54<br />Author: <br />Year: 1991<br /> Imprecision and Uncertainty in Information Representation and Processing: New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500213103 Shelf: <br />Author: <br />Year: 2016<br /> Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme : mit 56 Tabellen https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500059813 Shelf: ZQ 4200 S361<br />Author: Schnieder, Eckehard<br />Year: 1999<br /> Modeling and simulation of distributed systems: with CD-ROM https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500171803 Shelf: ST 300 K86<br />Author: Kostin, Alexander<br />Year: 2010<br /> Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500036535 Shelf: ST 200 O16<br />Author: Ochsenschläger, Peter<br />Year: 1995<br /> Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500256164 Shelf: <br />Author: <br />Year: 2017<br /> Novel Developments in Uncertainty Representation and Processing: Advances in Intuitionistic Fuzzy Sets and Generalized Nets – Proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500212449 Shelf: <br />Author: <br />Year: 2016<br /> Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500115478 Shelf: <br />Author: <br />Year: 2006<br /> Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500102689 Shelf: 24 736/1<br />Author: Leszak, Marek<br />Year: 1989<br /> Principles of model checking https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500136653 Shelf: ST 233 B152<br />Author: Baier, Christel<br />Year: 2008<br /> Process Algebras for Petri Nets: The Alphabetization of Distributed Systems https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500251786 Shelf: <br />Author: Gorrieri, Roberto<br />Year: 2017<br /> Scalable Techniques for Formal Verification https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500151039 Shelf: <br />Author: Ray, Sandip<br />Year: 2010<br /> Supervisory Control of Concurrent Systems: A Petri Net Structural Approach https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500119736 Shelf: <br />Author: Iordache, Marian V.<br />Year: 2006<br /> Systems and software verification: model-checking techniques and tools https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500136654 Shelf: ST 233 B483<br />Author: <br />Year: 2001<br /> Transactions on Petri Nets and Other Models of Concurrency XII https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500257506 Shelf: <br />Author: <br />Year: 2017<br /> Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction https://opac.fh-zwickau.de/libero/WebopacOpenURL.cls?DATA=ZWI&ACTION=DISPLAY&RSN=500111469 Shelf: ST 130 B196 <br />Author: Balser, Michael<br />Year: 2006<br />