Works matching DE "SOFTWARE verification"
Results: 670
Analysis and verification of SMIL documents.
- Published in:
- Multimedia Systems, 2011, v. 17, n. 6, p. 487, doi. 10.1007/s00530-011-0233-1
- By:
- Publication type:
- Article
Towards Formal Modeling of Subnet Based Hotspot Algorithm in Wireless Sensor Networks.
- Published in:
- Wireless Personal Communications, 2019, v. 107, n. 4, p. 1573, doi. 10.1007/s11277-019-06346-6
- By:
- Publication type:
- Article
Research on the Method of Batch Converting Raw Data of GNSS Receiver to RINEX Files.
- Published in:
- Railway Investigation & Surveying, 2024, v. 50, n. 4, p. 13, doi. 10.19630/j.cnki.tdkc.202405160001
- By:
- Publication type:
- Article
Answering your questions on flow cytometry applications, CAP computer verification, immunology test QC, and HCG beta subunits.
- Published in:
- Medical Laboratory Observer (MLO), 1999, v. 31, n. 10, p. 10
- By:
- Publication type:
- Article
基于B方法的道岔控制系统形式化建模与验证.
- Published in:
- Railway Signalling & Communication Engineering, 2022, v. 19, n. 6, p. 5, doi. 10.3969/j.issn.1673-4440.2022.06.002
- By:
- Publication type:
- Article
基于SOA的高速铁路电务维修辅助平台 设计与实现.
- Published in:
- Railway Signalling & Communication Engineering, 2022, v. 19, n. 4, p. 13, doi. 10.3969/j.issn.1673-4440.2022.04.003
- By:
- Publication type:
- Article
Formal Vs Simulation based Verification on Receiver Training Sequence Block of USB3.2 Controller.
- Published in:
- Grenze International Journal of Engineering & Technology (GIJET), 2024, v. 10, n. 1, Part 1, p. 542
- By:
- Publication type:
- Article
Software Verification using State Diagrams.
- Published in:
- Grenze International Journal of Engineering & Technology (GIJET), 2021, v. 7, n. 1, p. 530
- By:
- Publication type:
- Article
A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs.
- Published in:
- International Journal of Parallel Programming, 2020, v. 48, n. 6, p. 957, doi. 10.1007/s10766-020-00656-0
- By:
- Publication type:
- Article
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
- Published in:
- International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 61, doi. 10.1007/s10766-005-0004-8
- By:
- Publication type:
- Article
Editorial.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 583, doi. 10.1007/s10766-005-8906-z
- By:
- Publication type:
- Article
Inequalities between sums over prime numbers in progressions.
- Published in:
- Research in Number Theory, 2020, v. 6, n. 3, p. N.PAG, doi. 10.1007/s40993-020-00211-3
- By:
- Publication type:
- Article
Inequalities between sums over prime numbers in progressions.
- Published in:
- Research in Number Theory, 2020, v. 6, n. 3, p. N.PAG, doi. 10.1007/s40993-020-00211-3
- By:
- Publication type:
- Article
Specification and Description Language Models Automatic Execution in a High-Performance Environment.
- Published in:
- Computers (2073-431X), 2023, v. 12, n. 12, p. 244, doi. 10.3390/computers12120244
- By:
- Publication type:
- Article
Towards Predicting Architectural Design Patterns: A Machine Learning Approach.
- Published in:
- Computers (2073-431X), 2022, v. 11, n. 10, p. 151, doi. 10.3390/computers11100151
- By:
- Publication type:
- Article
ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ МОДЕЛЬНООРІЄНТОВАНОГО ПРОЄКТУВАННЯ КОНТРОЛЕРУ РЕАЛЬНОГО ЧАСУ.
- Published in:
- Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2023, v. 15, n. 1, p. 1, doi. 10.15673/atbp.v%vi%i.2493
- By:
- Publication type:
- Article
面向 CAN 总线健壮性的形式化建模与验证.
- Published in:
- Telecommunication Engineering, 2023, v. 63, n. 9, p. 1419, doi. 10.20079/j.issn.1001-893x.220415003
- By:
- Publication type:
- Article
Evaluation Parameters and Validation Method of Airborne Software Data Quality.
- Published in:
- Telecommunication Engineering, 2014, v. 54, n. 7, p. 990, doi. 10.3969/j.issn.1001-893x.2014.07.023
- By:
- Publication type:
- Article
Verification of tree-processing programs via higher-order mode checking.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 841, doi. 10.1017/S0960129513000054
- By:
- Publication type:
- Article
A logical framework combining model and proof theory.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 945, doi. 10.1017/S0960129512000424
- By:
- Publication type:
- Article
Foreword: programming language interference and dependence.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1109, doi. 10.1017/S0960129511000168
- By:
- Publication type:
- Article
THE SOFTWARE IMPLEMENTATION FOR AUTOMATIC GENERATION OF PETRI NETS.
- Published in:
- Radio Electronics, Computer Science, Control, 2024, n. 3, p. 26, doi. 10.15588/1607-3274-2024-3-3
- By:
- Publication type:
- Article
Towards Safe Navigation by Formalizing Navigation Rules.
- Published in:
- TransNav: International Journal on Marine Navigation & Safety of Sea Transportation, 2013, v. 7, n. 2, p. 161, doi. 10.12716/1001.07.02.01
- By:
- Publication type:
- Article
Software In the Loop Simulation for Robot Manipulators.
- Published in:
- Engineering, Technology & Applied Science Research, 2017, v. 7, n. 5, p. 2017, doi. 10.48084/etasr.1285
- By:
- Publication type:
- Article
Verification and validation of software process simulation models: A systematic mapping study.
- Published in:
- Journal of Software: Evolution & Process, 2024, v. 36, n. 6, p. 1, doi. 10.1002/smr.2612
- By:
- Publication type:
- Article
Compliance checking of software processes: A systematic literature review.
- Published in:
- Journal of Software: Evolution & Process, 2022, v. 34, n. 5, p. 1, doi. 10.1002/smr.2440
- By:
- Publication type:
- Article
Innovative process paradigms and data driven analytics: A new horizon for software and systems process.
- Published in:
- Journal of Software: Evolution & Process, 2019, v. 31, n. 6, p. N.PAG, doi. 10.1002/smr.2206
- By:
- Publication type:
- Article
APPLICATION OF DEDUCTIVE REASONING TO THE VERIFICATION OF ARCHIMATE BEHAVIORAL ELEMENTS.
- Published in:
- Business Informatics / Informatyka Ekonomiczna, 2013, v. 3, n. 29, p. 76
- By:
- Publication type:
- Article
Verified lightweight bytecode verification.
- Published in:
- Concurrency & Computation: Practice & Experience, 2001, v. 13, n. 13, p. 1133, doi. 10.1002/cpe.597
- By:
- Publication type:
- Article
Tunable active grounded lossless and lossy inductance simulators with single grounded capacitor using VDBAs.
- Published in:
- Scientia Iranica. Transaction D, Computer Science & Engineering & Electrical Engineering, 2022, v. 29, n. 2, p. 739, doi. 10.24200/sci.2019.51551.2248
- By:
- Publication type:
- Article
Virtual commissioning for an Overhead Hoist Transporter in a semiconductor FAB.
- Published in:
- International Journal of Production Research, 2020, v. 58, n. 22, p. 6890, doi. 10.1080/00207543.2019.1685712
- By:
- Publication type:
- Article
Replication and Abstraction: Symmetry in Automated Formal Verification.
- Published in:
- Symmetry (20738994), 2010, v. 2, n. 2, p. 799, doi. 10.3390/sym2020799
- By:
- Publication type:
- Article
Publicly verifiable data transfer and deletion scheme for cloud storage.
- Published in:
- International Journal of Distributed Sensor Networks, 2019, v. 15, n. 10, p. N.PAG, doi. 10.1177/1550147719878999
- By:
- Publication type:
- Article
Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO.
- Published in:
- International Journal of Distributed Sensor Networks, 2017, v. 13, n. 4, p. 1, doi. 10.1177/1550147717700900
- By:
- Publication type:
- Article
A unified framework for evaluating test criteria in model-checking-assisted test case generation.
- Published in:
- Information Systems Frontiers, 2014, v. 16, n. 5, p. 823, doi. 10.1007/s10796-013-9424-y
- By:
- Publication type:
- Article
ACCELERATED STRESS TESTING OF CONTROL SYSTEMS.
- Published in:
- Annals of DAAAM & Proceedings, 2010, p. 409
- By:
- Publication type:
- Article
Preface.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018020013
- By:
- Publication type:
- Article
A PARALLEL ALGORITHM FOR THE STATE SPACE EXPLORATION.
- Published in:
- Scalable Computing: Practice & Experience, 2016, v. 17, n. 2, p. 129, doi. 10.12694/scpe.v17i2.1161
- By:
- Publication type:
- Article
AN AGENT-BASED APPROACH FOR HYBRID MULTI-CLOUD APPLICATIONS.
- Published in:
- Scalable Computing: Practice & Experience, 2013, v. 14, n. 2, p. 95, doi. 10.12694/scpe.v14i2.843
- By:
- Publication type:
- Article
Examining Journalists' Adoption of Social Media Tools in Contexts of Precarity.
- Published in:
- Journalism Studies, 2025, v. 26, n. 1, p. 120, doi. 10.1080/1461670X.2024.2414340
- By:
- Publication type:
- Article
UNA REVISIÓN DE MODELOS Y SEMÁNTICAS PARA LA TRAZABILIDAD DE REQUISITOS.
- Published in:
- Revista EIA, 2006, n. 6, p. 33
- By:
- Publication type:
- Article
THE LAPTOP SPARE PARTS STUDYING UNDER CONSIDERING USERS' REPAIR WILLINGNESS.
- Published in:
- International Journal of Simulation Modelling (IJSIMM), 2015, v. 14, n. 1, p. 158, doi. 10.2507/IJSIMM14(1)CO4
- By:
- Publication type:
- Article
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 391, doi. 10.1613/jair.2243
- By:
- Publication type:
- Article
RevKit: A Toolkit for Reversible Circuit Design.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2012, v. 18, n. 1, p. 55
- By:
- Publication type:
- Article
VASIR: An Open-Source Research Platform for Advanced Iris Recognition Technologies.
- Published in:
- Journal of Research of the National Institute of Standards & Technology, 2013, v. 118, p. 218, doi. 10.6028/jres.118.011
- By:
- Publication type:
- Article
Generating Diagnoses for Probabilistic Model Checking Using Causality.
- Published in:
- Journal of Computing & Information Technology, 2013, v. 21, n. 1, p. 13, doi. 10.2498/cit.1002115
- By:
- Publication type:
- Article
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.
- Published in:
- Computer Systems Science & Engineering, 2023, v. 45, n. 2, p. 2155, doi. 10.32604/csse.2023.027680
- By:
- Publication type:
- Article
Formal analysis of BPEL workflows with compensation by model checking.
- Published in:
- Computer Systems Science & Engineering, 2008, v. 23, n. 5, p. 349
- By:
- Publication type:
- Article
VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING.
- Published in:
- Journal of Bioinformatics & Computational Biology, 2011, v. 9, n. 6, p. 729, doi. 10.1142/S021972001100563X
- By:
- Publication type:
- Article
Validation of knowledge-based systems: a reassessment of the field.
- Published in:
- Artificial Intelligence Review, 2015, v. 43, n. 4, p. 485, doi. 10.1007/s10462-013-9396-9
- By:
- Publication type:
- Article