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 Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
অনুযায়ী: Erika Ábrahám, অন্যান্য
প্রকাশিত: (2010-09-01)

Model Checking Properties on Reduced Trace Systems
অনুযায়ী: Antonella Santone, অন্যান্য
প্রকাশিত: (2014-07-01)

CaVi: Simulation and Model Checking for Wireless Sensor Networks
অনুযায়ী: Boulis, A, অন্যান্য
প্রকাশিত: (2008)

Proving safety with trace automata and bounded model checking
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2015)

Efficient CTMC Model Checking of Linear Real−Time Objectives
অনুযায়ী: Barbot, B, অন্যান্য
প্রকাশিত: (2011)

Health checks--time to check out?
অনুযায়ী: Mant, D
প্রকাশিত: (1994)

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)

Exact acceleration of complex real-time model checking based on overlapping cycle
অনুযায়ী: Guoqing Wang, অন্যান্য
প্রকাশিত: (2020-05-01)

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)

Finitary refinement checks for infinitary specifications
অনুযায়ী: Roscoe, A
প্রকাশিত: (2004)

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)

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
অনুযায়ী: Christian Krause, অন্যান্য
প্রকাশিত: (2011-11-01)

<i>TraceAll</i>: A Real-Time Processing for Contact Tracing Using Indoor Trajectories
অনুযায়ী: Louai Alarabi, অন্যান্য
প্রকাশিত: (2021-05-01)

Specific frontal neural dynamics contribute to decisions to check
অনুযায়ী: Frederic M. Stoll, অন্যান্য
প্রকাশিত: (2016-06-01)