جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1519
| عنوان: | Formal Modeling and Analysis of Timed Systems : |
| عنوان دیگر: | 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings / |
| پدیدآورنده: | FORMATS (Conference) ; (15th : ; 2017 : ; Berlin, Germany) ;;Abate, Alessandro, ; editor ;;Geeraerts, Gilles, ; editor ; |
| کلید واژه ها: | Computer science ; Congresses ;;Software engineering ; Congresses ;;Programming Languages and Electronic Computers;Algorithms ; Congresses ;;Computer logic ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ;;Computer simulati |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10419 ; Lecture notes in computer science ; ; 10419. ; 0302-9743 ; |
| چکیده: | This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems ; |
| توضیحات : | Ohio Library and Information Network ; Available to OhioLINK libraries ; Printed edition: ; 9783319657646 ; |
| آدرس: | http://localhost/handle/Hannan/1519 |
| شابک : | 9783319657653 ; (electronic book) ; 3319657658 ; (electronic book) ; 9783319657646 ; 331965764X ; |
| اطلاعات بیشتر: | 1 online resource (x, 353 pages) : ; 93 illustrations ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319657653.pdf | 14.02 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Formal Modeling and Analysis of Timed Systems : |
| عنوان دیگر: | 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings / |
| پدیدآورنده: | FORMATS (Conference) ; (15th : ; 2017 : ; Berlin, Germany) ;;Abate, Alessandro, ; editor ;;Geeraerts, Gilles, ; editor ; |
| کلید واژه ها: | Computer science ; Congresses ;;Software engineering ; Congresses ;;Programming Languages and Electronic Computers;Algorithms ; Congresses ;;Computer logic ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ;;Computer simulati |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10419 ; Lecture notes in computer science ; ; 10419. ; 0302-9743 ; |
| چکیده: | This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems ; |
| توضیحات : | Ohio Library and Information Network ; Available to OhioLINK libraries ; Printed edition: ; 9783319657646 ; |
| آدرس: | http://localhost/handle/Hannan/1519 |
| شابک : | 9783319657653 ; (electronic book) ; 3319657658 ; (electronic book) ; 9783319657646 ; 331965764X ; |
| اطلاعات بیشتر: | 1 online resource (x, 353 pages) : ; 93 illustrations ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319657653.pdf | 14.02 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Formal Modeling and Analysis of Timed Systems : |
| عنوان دیگر: | 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings / |
| پدیدآورنده: | FORMATS (Conference) ; (15th : ; 2017 : ; Berlin, Germany) ;;Abate, Alessandro, ; editor ;;Geeraerts, Gilles, ; editor ; |
| کلید واژه ها: | Computer science ; Congresses ;;Software engineering ; Congresses ;;Programming Languages and Electronic Computers;Algorithms ; Congresses ;;Computer logic ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ;;Computer simulati |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10419 ; Lecture notes in computer science ; ; 10419. ; 0302-9743 ; |
| چکیده: | This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems ; |
| توضیحات : | Ohio Library and Information Network ; Available to OhioLINK libraries ; Printed edition: ; 9783319657646 ; |
| آدرس: | http://localhost/handle/Hannan/1519 |
| شابک : | 9783319657653 ; (electronic book) ; 3319657658 ; (electronic book) ; 9783319657646 ; 331965764X ; |
| اطلاعات بیشتر: | 1 online resource (x, 353 pages) : ; 93 illustrations ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319657653.pdf | 14.02 MB | Adobe PDF | مشاهده فایل |