Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

by Axel Legay, Marius Bozga Paperback 2014

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Axel Legay, Marius Bozga
  • ISBN 13: 9783319105116
  • ISBN 10: 3319105116
  • Publication Year: 2014
  • Language: English

Specifications

Index-103319105116
LanguageEnglish
Index-139783319105116
Period-
Class Track-
Publisher- (2014)
Pages-

✨ Readers also enjoyed...

View All →
Automated Technology for Verification and Analysis : 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verificat…

Cyrille Artho, Axel Legay, Doron Peled

Inquire
From Programs to Systems - the Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 201

From Programs to Systems - the Sys…

Saddek Bensalem, Yassine Lakhnech, Axel Legay

Inquire
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-19, 2019, Proceedings

Model Checking Software : 26th Int…

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Inquire
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Too…

Luca Aceto, Giorgio. Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay

Inquire
Risks and Security of Internet and Systems : 11th International Conference, CRISIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Risks and Security of Internet and…

édéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay

Inquire