Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Selección de ponencias presentadas en la décima segunda Conferencia Internacional sobre Modelado Formal y Análisis de Sistemas Temporizados, celebrada en Florencia, Italia, en septiembre de 2014. Los textos que se incluyen abordan diversos temas relacionados con el modelado formal en el desarrollo d...
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Бусад зохиолчид: | , |
| Формат: | Бага хурлын үйл явц Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Cham, Suiza :
Springer,
2014, c2014
|
| Цуврал: | (Lecture Notes in Computer Science ;
8711) |
| Нөхцлүүд: | |
| Онлайн хандалт: | Ver documento en línea |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000556666 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152655.555 | ||
| 020 | |a 978-3-319-10512-3 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Formal Modeling and Analysis of Timed Systems ( |n 12a : |d 2014 : |c Florencia, Italia) | ||
| 245 | 1 | 0 | |a Formal Modeling and Analysis of Timed Systems : |b 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings / |c Ed. de A. Legay, M. Bozga. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014, c2014 | |
| 300 | |a 1 libro electrónico en línea (X, 253 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8711) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias presentadas en la décima segunda Conferencia Internacional sobre Modelado Formal y Análisis de Sistemas Temporizados, celebrada en Florencia, Italia, en septiembre de 2014. Los textos que se incluyen abordan diversos temas relacionados con el modelado formal en el desarrollo de sistemas, entre los que destacan la comparación entre diferentes modelos, autómatas cronometrados, redes de Petri cronometradas, autómatas híbridos, álgebra de procesos cronometrados, álgebra max-plus, modelos probabilísticos; métodos y herramientas para analizar sistemas temporizados y resolver restricciones temporales; aplicaciones en software en tiempo real, circuitos de hardware y problemas de programación en manufactura y telecomunicaciones. | ||
| 649 | |a XX | ||
| 650 | |a Redes de Petri | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Lenguajes de Modelado Visual | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Control de Procesos - |x Modelos Matemáticos | ||
| 650 | |a Modelos Matemáticos | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Programación (Software) - |x Planeación | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 650 | |a Matemáticas | ||
| 700 | |a Legay, Axel |e (edición) | ||
| 700 | |a Bozga, Marius |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10512-3 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 556666-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000556666 | ||