Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- Este artículo describe las estructuras de Kripke como se usan en Verificación de modelos. Para una descripción más general, ver semánticas de Kripke. Una…4 kB (724 palabras) - 15:21 12 oct 2020
- En ciencias de la computación, un lenguaje de acción es un lenguaje para especificar sistemas de transición de estados y se usa comúnmente para crear modelos…3 kB (324 palabras) - 19:47 8 oct 2020