Books on the topic 'Timed automata'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Timed automata.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-031-02003-2.
Full textKaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Springer International Publishing, 2006. http://dx.doi.org/10.1007/978-3-031-01794-0.
Full textPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/978-3-540-32870-4.
Full textJansen, Nils, Mariëlle Stoelinga, and Petra van den Bos, eds. A Journey from Process Algebra via Timed Automata to Model Learning. Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-15629-8.
Full textRodolfo, Gomez, ed. Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. Springer, 2006.
Find full text1957-, Larsen K. G., and Niebert Peter, eds. Formal modeling and analysis of timed systems: First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers. Springer, 2004.
Find full textFORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Springer, 2010.
Find full textFORMATS 2004 (2004 Grenoble, France). Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Springer, 2004.
Find full textFORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Springer, 2010.
Find full textFahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Springer-Verlag GmbH Berlin Heidelberg, 2011.
Find full textW, Vaandrager Frits, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Springer Berlin Heidelberg, 2009.
Find full textNicol, David M. Automated parallelization of timed petri-net simulations. National Aeronautics and Space Administration, Langley Research Center, 1994.
Find full textWeizhen, Mao, and Langley Research Center, eds. Automated parallelization of timed petri-net simulations. National Aeronautics and Space Administration, Langley Research Center, 1994.
Find full textHawaii. Legislature. Legislative Reference Bureau. Hawaii's automatic permit approval law. Legislative Reference Bureau, 2000.
Find full textGust, Jeff C. Stopwatch and timer calibrations. 2nd ed. U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.
Find full textGust, Jeff C. Stopwatch and timer calibrations. 2nd ed. U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.
Find full textGust, Jeff C. Stopwatch and timer calibrations. 2nd ed. U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.
Find full textD, Riley Michael. Speech time-frequency representations. Kluwer Academic Publishers, 1989.
Find full textLudyk, Günter. Stability of time-variant discrete-time systems. Friedr. Vieweg, 1985.
Find full textH, Dierks, ed. Real-time systems: Formal specification and automatic verification. Cambridge University Press, 2008.
Find full textSeatzu, Carla. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. Springer London, 2013.
Find full textHamann, Heiko. Space-time continuous models of swarm robotic systems: Supporting global-to-local programming. Springer-Verlag, 2010.
Find full textSilviu-Iulian, Niculescu, and Gu Keqin 1957-, eds. Advances in time-delay systems. Springer-Verlag, c2004., 2004.
Find full textSilviu-Iulian, Niculescu, and Gu Keqin 1957-, eds. Advances in time-delay systems. Springer-Verlag, 2004.
Find full textCongress, Nita. The automated highway system: An idea whose time has come. U.S. Dept. of Transportation, Federal Highway Administration, 1994.
Find full textJackson, Richard Henry Frymuth. Hierarchical control and real-time optimization in automated manufacturing systems. U.S. Dept. of Commerce, National Bureau of Standards, 1986.
Find full textSteve, Purinton, and George C. Marshall Space Flight Center., eds. Automatic mathematical modeling for real time simulation program (AI application). National Aeronautics and Space Administration, George C. Marshall Space Flight Center, 1989.
Find full textChan, Bryan. Run-time support for the automatic parallelization of java programs. National Library of Canada, 2002.
Find full textJudah, Levine, and National Institute of Standards and Technology (U.S.), eds. Technical reference manual for NIST automated computer time service (ACTS). U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2001.
Find full textKaynar, Dilsun, Nancy Lynch, Roberto Segala, and Frits Vaandrager. Theory of Timed I/o Automata, Second Edition. Springer International Publishing AG, 2010.
Find full textLynch, Nancy, Dilsun K. Kaynar, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science). Morgan & Claypool Publishers, 2006.
Find full textPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2010.
Find full textPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer London, Limited, 2007.
Find full textBowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer London, Limited, 2010.
Find full textBowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer London, Limited, 2006.
Find full textBowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer, 2005.
Find full text(Editor), Kim G. Larsen, and Peter Niebert (Editor), eds. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science). Springer, 2004.
Find full textThiagarajan, P. S., and Jean-Francois Raskin. Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Springer London, Limited, 2007.
Find full textAdvances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence). Springer, 2006.
Find full text(Editor), Yassine Lakhnech, and Sergio Yovine (Editor), eds. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science). Springer, 2004.
Find full textPettersson, Paul, and Wang Yi. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Springer London, Limited, 2005.
Find full textFormal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science. Springer, 2008.
Find full textBos, Petra van den, Nils Jansen, and Mariëlle Stoelinga. Journey from Process Algebra Via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Springer, 2022.
Find full text