Skip to contents

Rust, Heinrich [Author]

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3456
Raskin, Jean-François [Editor]; Raskin, Jean François [Other]; Thiagarajan, P. S. [Other] ; FORMATS 5 2007 Salzburg

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4763
Pettersson, Paul [Editor] ; FORMATS 3 2005 Uppsala

Formal modeling and analysis of timed systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005, proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3829
Fahrenberg, Uli [Editor]; Tripakis, Stavros [Other] ; FORMATS 9 2011, °Alborg Alborg

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6919
Cha, Sungdeok [Editor]; Choi, Jin-Young [Other]; Kim, Moonzoo [Other]; Lee, Insup [Other]; Viswanathan, Mahesh [Other] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5311
Liu, Zhiming [Editor]; Ravn, Anders P. [Other] ; ATVA 7 2009 Macau

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5799
Graf, Susanne [Editor]; Zhang, Wenhui [Other] ; ATVA 4 2006 Peking

Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4218
Namjoshi, Kedar S. [Editor]; Yoneda, Tomohiro [Other]; Higashino, Teruo [Other]; Okamura, Yoshio [Other] ; ATVA 5 2007 Tokio

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4762
Peled, Doron A. [Other]; Peled, Doron [Editor] ; ATVA 3 2005 Taipeh

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3707
Ouaknine, Joel [Editor]; Vaandrager, Frits [Other] ; FORMATS 7 2009 Budapest

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5813
Cassez, Franck [Editor]; Jard, Claude [Editor] ; FORMATS 6 2008 Saint-Malo

Formal modeling and analysis of timed systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5215
Asarin, Eugene [Editor]; Bouyer, Patricia [Other] ; FORMATS 4 2006 Paris

Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4202
Majumdar, Rupak [Author]; Ouaknine, Joël [Author]; Pouly, Amaury [Author]; Worrell, James [Author] ; Rupak Majumdar and Joël Ouaknine and Amaury Pouly and James Worrell [Contributor]

Algebraic Invariants for Linear Hybrid Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Colcombet, Thomas [Author]; Petrisan, Daniela [Author] ; Thomas Colcombet and Daniela Petrisan [Contributor]

Automata in the Category of Glued Vector Spaces

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Roohi, Nima [Author]; Prabhakar, Pavithra [Author]; Viswanathan, Mahesh [Author] ; Nima Roohi and Pavithra Prabhakar and Mahesh Viswanathan [Contributor]

Relating Syntactic and Semantic Perturbations of Hybrid Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Worrell, James [Author] ; James Worrell [Contributor]

Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Zaatiti, Hadi [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Dague, Philippe [Contributor]

Modélisation et simulation qualitative de systèmes hybrides ; Modeling and qualitative simulation of hybrid systems

View online
Schließen

Links

http://www.theses.fr/2018SACLS493/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2018-11-29
Theissing, Simon [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Haar, Stefan [Contributor]

Supervision en transport multimodal ; Supervision in Multi-Modal Transportation System

View online
Schließen

Links

http://www.theses.fr/2016SACLN076/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2016-12-05
Larsen, Kim G. [Author] ; Kim G. Larsen [Contributor]

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Behaegel, Jonathan [Author]; Comet, Jean-Paul [Author]; Folschette, Maxime [Author] ; Jonathan Behaegel and Jean-Paul Comet and Maxime Folschette [Contributor]

Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication