Books on the topic 'Timed automata'

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Cham: Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-031-02003-2.

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Cham: Springer International Publishing, 2006. http://dx.doi.org/10.1007/978-3-031-01794-0.

The theory of timed I/O automata. 2nd ed. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2011.

Penczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/978-3-540-32870-4.

Jansen, Nils, Mariëlle Stoelinga, and Petra van den Bos, eds. A Journey from Process Algebra via Timed Automata to Model Learning. Cham: Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-15629-8.

Rodolfo, Gomez, ed. Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. London: Springer, 2006.

1957-, 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. Berlin: Springer, 2004.

FORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Y, Lakhnech, Yovine Sergio, LINK (Online service), and FTRTFT 2004 (2004 : Grenoble, France), eds. Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on formal modeling 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. Berlin: Springer, 2004.

FORMATS 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. Berlin: Springer, 2004.

FORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Fahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

W, 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Dejan, Ničković, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Nicol, David M. Automated parallelization of timed petri-net simulations. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

Weizhen, Mao, and Langley Research Center, eds. Automated parallelization of timed petri-net simulations. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

Automated Alice. London: Corgi, 1997.

Noon, Jeff. Automated Alice. London: Doubleday, 1996.

Noon, Jeff. Automated Alice. New York: Crown Publishers, 1996.

Hawaii. Legislature. Legislative Reference Bureau. Hawaii's automatic permit approval law. Honolulu, Hawaii: Legislative Reference Bureau, 2000.

D, Riley Michael. Speech time-frequency representations. Boston (Mass.): Kluwer Academic, 1988.

D, Riley Michael. Speech time-frequency representations. Boston: Kluwer Academic Publishers, 1989.

Gust, Jeff C. Stopwatch and timer calibrations. 2nd ed. [Gaithersburg, MD]: U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.

Gust, Jeff C. Stopwatch and timer calibrations. 2nd ed. [Gaithersburg, MD]: U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.

Gust, Jeff C. Stopwatch and timer calibrations. 2nd ed. [Gaithersburg, MD]: U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.

Ludyk, Günter. Stability of time-variant discrete-time systems. Braunschweig: Vieweg, 1985.

Ludyk, Günter. Stability of time-variant discrete-time systems. Braunschweig: Friedr. Vieweg, 1985.

The automatic Mac: QuicKeys to time-saving macros. New York: Brady Books, 1992.

H, Dierks, ed. Real-time systems: Formal specification and automatic verification. Cambridge, UK: Cambridge University Press, 2008.

Seatzu, Carla. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. London: Springer London, 2013.

Le grand empereur et ses automates: Roman. Paris: A. Michel, 1985.

Le Grand Empereur et ses automates: Roman. Paris: A. Michel, 1985.

J, Fleming P., ed. Transputers in real-time control. Taunton, Somerset, England: Research Studies Press, 1992.

Hamann, Heiko. Space-time continuous models of swarm robotic systems: Supporting global-to-local programming. Berlin: Springer-Verlag, 2010.

Congress, Nita. The automated highway system: An idea whose time has come. [Washington, D.C.?]: U.S. Dept. of Transportation, Federal Highway Administration, 1994.

Jackson, Richard Henry Frymuth. Hierarchical control and real-time optimization in automated manufacturing systems. [Washington, D.C.?]: U.S. Dept. of Commerce, National Bureau of Standards, 1986.

Steve, Purinton, and George C. Marshall Space Flight Center., eds. Automatic mathematical modeling for real time simulation program (AI application). [Huntsville, Ala.]: National Aeronautics and Space Administration, George C. Marshall Space Flight Center, 1989.

Chan, Bryan. Run-time support for the automatic parallelization of java programs. Ottawa: National Library of Canada, 2002.

Judah, Levine, and National Institute of Standards and Technology (U.S.), eds. Technical reference manual for NIST automated computer time service (ACTS). [Gaithersburg, Md.]: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2001.

Silviu-Iulian, Niculescu, and Gu Keqin 1957-, eds. Advances in time-delay systems. Berlin: Springer-Verlag, c2004., 2004.

Silviu-Iulian, Niculescu, and Gu Keqin 1957-, eds. Advances in time-delay systems. Berlin: Springer-Verlag, 2004.

Timed Safety Automata and Logic Conformance. Storming Media, 1999.

Kaynar, Dilsun, Nancy Lynch, Roberto Segala, and Frits Vaandrager. Theory of Timed I/o Automata, Second Edition. Springer International Publishing AG, 2010.

Lynch, 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.

Penczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2010.

Penczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer London, Limited, 2007.

Bowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer London, Limited, 2010.

Bowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer London, Limited, 2006.

Bowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer, 2005.

(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.