Trace Checking with Real−Time Specifications

Trace Checking with Real−Time Specifications

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Deutschmann, R, Fruth, M, Reichel, H, Reuss, H
Формат:	Conference item
Хэвлэсэн:	2004

Ижил төстэй зүйлс

Model Checking in an Industrial Environment
-н: Hensel, U, зэрэг
Хэвлэсэн: (2003)

Equivalence checking using trace partitioning
-н: Mukherjee, R, зэрэг
Хэвлэсэн: (2015)

Optimizing ZigBee Security using Stochastic Model Checking
-н: Yüksel, E, зэрэг
Хэвлэсэн: (2010)

Neue Absicherungsstrategien für Steuergerätesoftware
-н: Deutschmann, R, зэрэг
Хэвлэсэн: (2010)

Real-time model checking: Algorithms and complexity
-н: Worrell, J, зэрэг
Хэвлэсэн: (2008)

On expressiveness and complexity in real-time model checking
-н: Bouyer, P, зэрэг
Хэвлэсэн: (2008)

Real-Time Model-Checking: Parameters everywhere
-н: Veronique Bruyere, зэрэг
Хэвлэсэн: (2007-02-01)

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
-н: Fruth, M
Хэвлэсэн: (2006)

Model Checking Properties on Reduced Trace Systems
-н: Antonella Santone, зэрэг
Хэвлэсэн: (2014-07-01)

Proving safety with trace automata and bounded model checking
-н: Kroening, D, зэрэг
Хэвлэсэн: (2015)

CaVi: Simulation and Model Checking for Wireless Sensor Networks
-н: Boulis, A, зэрэг
Хэвлэсэн: (2008)

Health checks--time to check out?
-н: Mant, D
Хэвлэсэн: (1994)

Efficient CTMC Model Checking of Linear Real−Time Objectives
-н: Barbot, B, зэрэг
Хэвлэсэн: (2011)

A novel trace-based sampling method for conformance checking
-н: Heidy M. Marin-Castro, зэрэг
Хэвлэсэн: (2024-12-01)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
-н: Taolue Chen, зэрэг
Хэвлэсэн: (2011-03-01)

Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
-н: Jin Hyun Kim, зэрэг
Хэвлэсэн: (2021-01-01)

Model Checking for Real-Time Attack Detection in Water Distribution Systems
-н: Francesco Mercaldo, зэрэг
Хэвлэсэн: (2022-03-01)

Parallel ray tracing for real time animation
-н: Perales, Remigio
Хэвлэсэн: (2007)

Real-Time Monitoring of Trace Gas Concentrations in Syngas
-н: Herbig J., зэрэг
Хэвлэсэн: (2013-08-01)

An Event-Specific Real-Time PCR Method for Measuring Transgenic Lysozyme Goat Content in Trace Samples
-н: Wenting Xu, зэрэг
Хэвлэсэн: (2021-04-01)

Finitary refinement checks for infinitary specifications
-н: Roscoe, A
Хэвлэсэн: (2004)

Can member check be verified in real time? introducing ARC (Asking, Record, Confirm) for member checking validation strategy in qualitative research
-н: Mohd Noor, Mohd Zairul
Хэвлэсэн: (2021)

Using Specifications to Check Source Code
-н: Evans, David
Хэвлэсэн: (2023)

Using specifications to check source code
-н: Evans, David Elliot, 1971-
Хэвлэсэн: (2007)

Automatic Generation and Checking of Program Specifications
-н: Nimmer, Jeremy
Хэвлэсэн: (2023)

Automatic Generation and Checking of Program Specifications
-н: Nimmer, Jeremy W., зэрэг
Хэвлэсэн: (2023)

Automatic generation and checking of program specifications
-н: Nimmer, Jeremy W. (Jeremy William), 1978-
Хэвлэсэн: (2014)

Review of Real-Time Ray Tracing Technique Research
-н: YAN Run, HUANG Libo, GUO Hui, WANG Yongxin, ZHANG Xincheng, ZHANG Hongru
Хэвлэсэн: (2023-02-01)

Smart Collection of Real-Time Vehicular Mobility Traces
-н: Nisrine Ibadah, зэрэг
Хэвлэсэн: (2018-08-01)

Active learning of abstract system models from traces using model checking
-н: Yogananda Jeppu, N, зэрэг
Хэвлэсэн: (2022)

SC-Lite: An Efficient Lightweight Model for Real-Time X-Ray Security Check
-н: Li Han, зэрэг
Хэвлэсэн: (2024-01-01)

Checking noninterference in Timed CSP
-н: Roscoe, A, зэрэг
Хэвлэсэн: (2013)

Checking noninterference in the timed world
-н: Roscoe, A, зэрэг
Хэвлэсэн: (2013)

Model checking Timed CSP
-н: Armstrong, P, зэрэг
Хэвлэсэн: (2012)

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
-н: Roscoe, A, зэрэг
Хэвлэсэн: (2004)

<i>TraceAll</i>: A Real-Time Processing for Contact Tracing Using Indoor Trajectories
-н: Louai Alarabi, зэрэг
Хэвлэсэн: (2021-05-01)

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
-н: Christian Krause, зэрэг
Хэвлэсэн: (2011-11-01)

Human study on cancer diagnostic probe (CDP) for real‐time excising of breast positive cavity side margins based on tracing hypoxia glycolysis; checking diagnostic accuracy in non‐neoadjuvant cases
-н: Zohreh Sadat Miripour, зэрэг
Хэвлэсэн: (2022-04-01)

Real-time systems : formal specification and automatic verification /
-н: 273586, зэрэг
Хэвлэсэн: (2008)

Development of species‐specific multiplex real‐time PCR assays for tracing the small pelagic fishes of North Pacific with environmental DNA
-н: Marty Kwok‐Shing Wong, зэрэг
Хэвлэсэн: (2022-05-01)