Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

FORMATS

ID:DA14461420

Alias Name: International Workshop, Formal Modeling and Analysis of Timed Systems

Search authors sharing the same name

Search Results1-12 of 12

1

Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings

Sergiy Bogomolov, David Parker (eds.)

Springer c2022 Lecture notes in computer science 13465

: pbk

Available at 1 libraries
2

Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings

Catalin Dima, Mahsa Shirmohammadi (eds.)

Springer c2021 Lecture notes in computer science 12860 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
3

Formal modeling and analysis of timed systems : 18th international conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings

Nathalie Bertrand, Nils Jansen (eds.)

Springer c2020 Lecture notes in computer science 12288 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
4

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

Étienne André, Mariëlle Stoelinga (eds.)

Springer c2019 Lecture notes in computer science 11750 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Available at 1 libraries
5

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

Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Springer c2010 Lecture notes in computer science 6246

Available at 2 libraries
6

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

Joël Ouaknine, Frits W. Vaandrager (eds.)

Springer c2009 Lecture notes in computer science 5813

Available at 1 libraries
7

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

Franck Cassez, Claude Jard (eds.)

Springer c2008 Lecture notes in computer science 5215

Available at 1 libraries
8

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings

Jean-Franois Raskin, P.S. Thiagarajan (eds.)

Springer c2007 Lecture notes in computer science 4763

Available at 3 libraries
9

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

Eugene Asarin, Patricia Bouyer (eds.)

Springer c2006 Lecture notes in computer science 4202

Available at 6 libraries
10

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

Paul Pettersson, Wang Yi (eds.)

Springer c2005 Lecture notes in computer science 3829

Available at 9 libraries
11

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

Yassine Lakhnech, Sergio Yovine (eds.)

Springer c2004 Lecture notes in computer science 3253

Available at 17 libraries
12

Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

Kim G. Larsen, Peter Niebert (eds.)

Springer c2004 Lecture notes in computer science 2791

Available at 17 libraries

Search this author

Related Authors