Zum Inhalt springen

  1. Abdulla, Parosh Aziz [VerfasserIn]; Atig, Mohamed Faouzi [VerfasserIn]; Ciobanu, Radu [VerfasserIn]; Mayr, Richard [VerfasserIn]; Totzke, Patrick [VerfasserIn] ; Parosh Aziz Abdulla and Mohamed Faouzi Atig and Radu Ciobanu and Richard Mayr and Patrick Totzke [MitwirkendeR]

    Universal Safety for Timed Petri Nets is PSPACE-complete

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  2. Avni, Guy [VerfasserIn]; Guha, Shibashis [VerfasserIn]; Kupferman, Orna [VerfasserIn] ; Guy Avni and Shibashis Guha and Orna Kupferman [MitwirkendeR]

    Timed Network Games with Clocks

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  3. Avni, Guy [VerfasserIn]; Guha, Shibashis [VerfasserIn]; Kupferman, Orna [VerfasserIn] ; Guy Avni and Shibashis Guha and Orna Kupferman [MitwirkendeR]

    Timed Network Games

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  4. Govind, R. [VerfasserIn]; Herbreteau, Frédéric [VerfasserIn]; Srivathsan, B. [VerfasserIn]; Walukiewicz, Igor [VerfasserIn] ; R. Govind and Frédéric Herbreteau and B. Srivathsan and Igor Walukiewicz [MitwirkendeR]

    Revisiting Local Time Semantics for Networks of Timed Automata

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  5. Bernardo, Marco [VerfasserIn] ; Corradini, Flavio [Sonstige Person, Familie und Körperschaft]

    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. Revised Lectures

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

    Erschienen in: Lecture notes in computer science ; 3185

  6. Billington, Jonathan [VerfasserIn] ; Diaz, Michel [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]

    Application of Petri Nets to Communication Networks : Advances in Petri Nets

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1999

    Erschienen in: Lecture notes in computer science ; 1605

  7. Bertrand, Clément [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Klaudel, Hanna [MitwirkendeR]

    Reconnaissance de motifs dynamiques par automates temporisés à mémoire ; Matching of dynamic patterns with timed memory automata

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-12-17

  8. Stainer, Amélie [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Jéron, Thierry [MitwirkendeR]

    Contribution à la vérification d'automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates ; Contribution to the verification of timed automata : determinization, quantitative verification and reachability in networks of automata

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-11-25

  9. Balaguer, Sandie [VerfasserIn] ; Cachan, Ecole normale supérieure [MitwirkendeR]; Haar, Stefan [MitwirkendeR]

    Study of concurrency in real-time distributed systems ; La concurrence dans les systèmes temps-réel distribués

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-13

  10. Bouajjani, Ahmed [VerfasserIn] ; Chin, Wei-Ngan [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6252

  11. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft]; Cha, Sungdeok (Steve) [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5311

  12. Graf, Susanne [Sonstige Person, Familie und Körperschaft]; Zhang, Wenhui [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4218

  13. Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Okamura, Yoshio [Sonstige Person, Familie und Körperschaft]; Yoneda, Tomohiro [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4762

  14. Peled, Doron [Sonstige Person, Familie und Körperschaft]; Tsay, Yih-Kuen [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3707

  15. Grabiec, Bartosz [VerfasserIn] ; Cachan, Ecole normale supérieure [MitwirkendeR]; Jard, Claude [MitwirkendeR]

    Supervision of distributed systems using constrained unfoldings of timed models ; Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-10-04

  16. Abo, Robert [VerfasserIn] ; Paris, CNAM [MitwirkendeR]; Barkaoui, Kamel [MitwirkendeR]

    Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil ; Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-12-06

  17. DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE, German Commission for Electrical, Electronic and Information Technologies of DIN and VDE, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 41003 Beiblatt 1*VDE 0804-100 Beiblatt 1 : Elektrische Sicherheit - Klassifizierung der Schnittstellen für den Anschluss von Geräten an Informations- und Kommunikationsnetze (IEC/TR 62102:2005); Deutsche Fassung CLC/TR 62102:2006 - [2006-11-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 2006

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  18. Jansen, Nils [HerausgeberIn]; Stoelinga, Mariëlle [HerausgeberIn]; van den Bos, Petra [HerausgeberIn]

    A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature Switzerland, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13560