Ebook: Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings
Author: Abate Alessandro, Geeraerts Gilles
- Tags: SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME), ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME), ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES), SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS), SYSTÈMES EN TEMPS RÉEL ET SYSTÈMES EMBARQUÉS (SYSTÈMES INFORMATIQUES), REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (COMPUTER SYSTEMS)
- Series: Lecture Notes in Computer Science 10419, LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues
- Year: 2017
- City: Berlin)
- Language: English
- pdf
Download the book Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)