Results for "Zeitdiskretes System." Showing 1 - 3 results of 3 Laminas_Feed_Writer 2 (https://getlaminas.org) https://libcat.library.tamu.edu/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Zeitdiskretes+System.%22&type=Subject&lng=en 3 0 50 Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Fri, 11 Mar 2022 08:14:49 +0000 https://libcat.library.tamu.edu/Record/in00001853676 https://libcat.library.tamu.edu/Record/in00001853676 Conference Proceeding eBook 2004 0 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 / Fri, 11 Mar 2022 07:47:21 +0000 https://libcat.library.tamu.edu/Record/in00002034080 https://libcat.library.tamu.edu/Record/in00002034080 Conference Proceeding eBook 2004 0 Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Fri, 11 Mar 2022 02:53:00 +0000 https://libcat.library.tamu.edu/Record/in00002050917 https://libcat.library.tamu.edu/Record/in00002050917 Conference Proceeding eBook 2004 0