Creación de modelos de simulación de protocolos de comunicación Aprender de nuestros datos
-
- Spanisch ausgewählt
42,99 €
UVP
48,90 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
23.04.2026
Verlag
Ediciones Nuestro ConocimientoSeitenzahl
52
Maße (L/B/H)
22/15/0,4 cm
Gewicht
96 g
Sprache
Spanisch
ISBN
978-620-9-95435-1
Se han producido numerosos avances en el campo de las técnicas de verificación y validación basadas en modelos facilitados. La mayoría de ellos se han basado en la observación del comportamiento externo del sistema. Nuestro enfoque sigue esta misma línea y resulta válido incluso cuando no se dispone del código fuente del sistema objeto de observación. Los mecanismos de inferencia nos permiten deducir dichos modelos de máquina a partir de la observación. Presentamos un marco que permite generar componentes con estados infinitos o finitos y adaptarse a verificaciones formales. Los modelos utilizados son protocolos de comunicación inferidos mediante inferencia regular observada a través del comportamiento de la entidad del protocolo de comunicación. Además, se presenta un enfoque tal que el comportamiento observado del protocolo valida el modelo diseñado del mismo.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice