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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συγγραφή απο Οργανισμό/Αρχή:	International Conference on Formal Modeling and Analysis of Timed Systems ( Florencia, Italia)
Άλλοι συγγραφείς:	Legay, Axel (edición) (edición), Bozga, Marius (edición) (edición)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Cham, Suiza : Springer, 2014, c2014
Σειρά:	(Lecture Notes in Computer Science ; 8711)
Θέματα:	Redes de Petri Autómatas Matemáticos - > Teoría Lenguajes de Modelado Visual Lenguajes de Programación Control de Procesos - > Modelos Matemáticos Modelos Matemáticos Paquetes (Software) - > Prueba y Medición Programación (Software) - > Planeación Programación (Software) Ingeniería de Software Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional Matemáticas
Διαθέσιμο Online:	Ver documento en línea
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!