Cover Image

Verification of transaction level models of embedded systems

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Lucky Lochi Yu Lo
Format:	Artículo científico
Language:	en
Published:	Universidad de Costa Rica 2013
Subjects:	Ingeniería Embedded systems formal verification transaction level models
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computer Aided Verification
Published: (2023)

Computer Aided Verification
Published: (2023)

Semi-formal specifications and formal verification improving the digital design: some statistics
by: D. Torres
Published: (2009)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

Computer Aided Verification
Published: (2023)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
by: Spivack, Nova
Published: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
by: Spivack, Nova
Published: (2026)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
by: Ahmed, Amal
Published: (2018)

Image Processing for Laser Impact Detection in Shooting Simulators
by: José Antonio García Torres
Published: (2025)

The scenario of the registry of embedded software in Brazil
by: José Aprígio Carneiro Neto
Published: (2017)

THE MEDIATED EFFECT OF FORMAL AND INFORMAL CONTROL ON GOVERNANCE FORMS
by: NURIA RODRÍGUEZ-LÓPEZ
Published: (2016)

The $\Lambda$VSC One-Parameter Cosmological Model: A Unified Analysis of the Cosmological Constant, Singularities, Ultraviolet Divergence, and Hubble Tension with Lean 4 Verification
by: Huang, Tongbing
Published: (2026)

Detection of Fraudulent Transactions Through a Generalized Mixed Linear Models
by: Jackelyne Gómez-Restrepo
Published: (2012)

Adversarial Ensemble Reasoning with Formal Verification: A Methodology for Trustworthy AI-Assisted Scientific Discovery
by: Goodman, John
Published: (2026)

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))
by: Dedenko, Grigoriy
Published: (2025)

Proposal of Improvement for a Textile Finishing Company in the Medellin city Through of Discrete Simulation
by: Y.F Ceballos
Published: (2021)

SomEMBED: Comprensión del lenguaje en los medios de comunicación social-Representando contextos de forma continua
by: Paolo Rosso
Published: (2016)

rvsail v0.16.0 — FMCAD 2026 artifact: BOOM v3 ISA-Compliance proof bundle
by: Wu, Yi-De
Published: (2026)

Transformational and transactional leadership: a study of their influence in small companies
by: Milagros Delgado-Almonte
Published: (2006)

Author Verification Using a Semantic Space Model
by: Ángel Hernández-Castañeda
Published: (2017)

An Improved Gauge Unfixing Formalism and the Abelian Pure Chern Simons Theory
by: Jorge Ananias
Published: (2007)

Embedded Systems: A study guided by patents
by: José Aprígio Carneiro Neto
Published: (2016)

Computer Aided Verification
Published: (2021)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
by: Fujimoto, Nobuki, et al.
Published: (2026)

A survey of embedded solitons
by: J. Fujioka
Published: (2006)

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
by: Salhab, Najih
Published: (2026)

Governance structure and transaction cost: relationship between strategy and asset specificity.
by: Christian Luiz da Silva
Published: (2007)

Evaluating The Embedding Space of Foundation Models for Dermatological Images to Guide Backbone Selection for A Fine-Tuning Pipeline
by: Thi Anh Thu Pham, et al.
Published: (2026)

UAREI: A model for formal description and visual representation /software gamification
by: Darius Ašeriškis
Published: (2017)

Institutionalization of Research Administration in Brazil: Some Evidences
by: Fernanda Stringassi de Oliveira
Published: (2019)

Monitoring the vertical oscillation of a spray bars through an electronic system
by: Michael Patrick Ferreira-Althman
Published: (2020)