Author books / Книги автора Abate Alessandro,Geeraerts Gilles » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Abate Alessandro,Geeraerts Gilles

book Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings

pdf

Author: Abate Alessandro, Geeraerts Gilles
Language: English
Year: 2017

00

29.01.2024

0

0

book Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

pdf

Author: Abate Alessandro, Boldo Sylvie
Language: English
Year: 2017

00

29.01.2024

0

0

book Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

pdf

Author: Alessandro Abate Alessandro D’Innocenzo Maria D. Di Benedetto Shankar S. Sastry (auth.) Magnus Egerstedt Bud Mishra (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

pdf

Author: Alessandro Abate Alessandro D’Innocenzo Maria D. Di Benedetto Shankar S. Sastry (auth.) Magnus Egerstedt Bud Mishra (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0