首页>外文期刊>计算机、自动化>计算技术、计算机技术>International journal of critical computer-based systems

International journal of critical computer-based systems

中文名称：国际关键计算机系统杂志

ISSN：1757-8779
出版周期：Quarterly

发文量：142

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.A mission-critical certification authority architecture for high reliability and response time

机译：关键任务证书颁发机构体系结构，可实现高可靠性和响应时间
- 作者：Luis Carlos Coronado-Garcia;Carlos Perez-Leguízamo
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
- public key infrastructure;
- pki;
- autonomous decentralised system;
- ads;
- high reliability;
- fault tolerance;
- public key cryptography.;
2.Sybil attack detection based on signature vectors in VANETs

机译：VANET中基于特征向量的Sybil攻击检测
- 作者：Chen Chen;Weili Han;Xin Wang
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
- sybil attack;
- vehicular ad hoc networks;
- vanets;
- digital signature;
- security.;
3.A design of policy-based composite web services QoS monitoring system

机译：基于策略的组合Web服务QoS监控系统设计
- 作者：Gwyduk Yeom;Wei-Tek Tsai;Xiaoying Bai;Youngkon Lee
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
- web service qos;
- policy-based;
- monitoring.;
4.Autonomous demand-oriented streaming system architecture and fault-tolerant technology for service continuity

机译：面向需求的自治流系统架构和容错技术，以实现服务连续性
- 作者：Xiaodong Lu;Kinji Mori
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
- autonomous demand-oriented streaming system;
- video on demand;
- vod;
- quality of user experiences;
- qoe;
- service continuity;
- fault tolerance.;
5.Autonomous decentralised systems in web computing environment

机译：Web计算环境中的自治分散系统
- 作者：Yinong Chen;Yoshiaki Kakuda
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
6.A constant-time method for TCP/IP socket I/O multiplexing

机译：TCP / IP套接字I / O多路复用的恒定时间方法
- 作者：Jianli Sun
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
- tcp/ip;
- network multiplexing;
- socket i/o;
- real-time operating system;
- client-server architecture.;
7.Improvement of TCP/UDP performance using adaptive transmission power control for hierarchical MANET routing

机译：使用自适应传输功率控制改进MANET路由的TCP / UDP性能
- 作者：Eitaro Kohno;Ryotaro Oda;Tomoyuki Ohta;Yoshiaki Kakuda
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第1期
- hierarchical manet routing;
- adaptive transmission power control;
- tcp;
- udp.;
8.Assurance technology for the mode change of autonomous decentralised train control system

机译：自主分散列车控制系统模式转换的保证技术
- 作者：Tsuyoshi Suzuki;Takashi Kawano;Yutaka Umehara;Yoshihide Nagatsugu;Masayuki Matsumoto
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第2期
- D-ATC;
- assurance;
- mode change;
- on-board' autonomous system;
9.A proposal of safety-related autonomous decentralised technology and its practical application

机译：安全相关自主分散技术的建议及其实际应用
- 作者：Takashi Kunifuji;Tadao Miura;Jun Nishiyama;Kinji Mori
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第2期
- railway signal control;
- network;
- autonomous distributed system;
- safety;
10.Byzantine consensus in asynchronous message-passing systems: a survey

机译：异步消息传递系统中的拜占庭共识：一项调查
- 作者：Miguel Correia;Giuliana Santos Veronese;Nuno Ferreira Neves;Paulo Verissimo
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第2期
- distributed algorithms;
- distributed systems;
- consensus;
- Byzantine faults;
- arbitrary faults;
- asynchronous model;
- message passing;
- Byzantine consensus;
11.High-integrity agile processes for the development of safety critical software

机译：高完整性敏捷过程，用于开发安全关键软件
- 作者：Richard F. Paige;Andy Galloway;Ramon Charalambous;Xiaocheng Ge;Phillip J. Brooke
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第2期
- safety critical systems;
- agile processes;
- APs;
- certification;
12.A Bayesian theory of confirmation for intrusion report fusion in process control networks

机译：过程控制网络中入侵报告融合的贝叶斯确认理论
- 作者：Julian L. Rrushi
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第2期
13.Improving the consistency verification and the quality of multimedia presentations

机译：提高一致性验证和多媒体演示的质量
- 作者：Abdelkrim Abdelli
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- multimedia document;
- resource requirement;
- time Petri net;
- TPN;
- formal methods;
- consistency verification;
- SMIL;
14.An approach for the synthesis of decentralised supervisors for distributed adaptive systems

机译：分布式自适应系统中分散的监督者综合方法
- 作者：Amine Belhaj Seboui;Nejib Ben Hadj-Alouane;Gwenael Delaval;Eric Rutten;Moez Yeddes
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- decentralised;
- distributed;
- discrete event systems;
- DES;
- control synthesis;
- supervisory control;
- reactive systems;
- synchronous programming;
- adaptive systems;
- I/O automata;
- event guards;
15.Real-time scheduling using regularity criteria and a geometrical approach

机译：使用规则性准则和几何方法进行实时调度
- 作者：Annie Choquet-Geniet;Gaelle Largeteau-Skapin
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- discrete geometry;
- real-time scheduling;
- modelling;
- PFairness;
- model-checking;
16.A tile logic-based semantics for mobile software architectures

机译：用于移动软件体系结构的基于切片逻辑的语义
- 作者：Chafia Bouanaka;Faiza Belala;Kamel Barkaoui
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- complex systems;
- mobility;
- tile logic;
- categorical semantics;
17.Steady state property verification of very large systems

机译：大型系统的稳态属性验证
- 作者：Diana El Rabih;Gael Gorgo;Nihal Pekergin;Jean-Marc Vincent
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- model checking;
- probabilistic verification;
- continuous stochastic logic;
- CSL;
- dependability verification;
- perfect simulation;
18.Specification and verification of real-time systems using POLA

机译：使用POLA规范和验证实时系统
- 作者：Florent Peres;Pierre-Emmanuel Hladik;Francois Vernadat
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- domain specific language;
- DSL;
- model checking;
- real-time systems;
19.OS-level hang detection in complex software systems

机译：复杂软件系统中的操作系统级挂起检测
- 作者：Antonio Bovenzi;Marcello Cinque;Domenico Cotroneo;Roberto Natella;Gabriella Carrozza
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- failure detection;
- hang failures;
- online monitoring;
- critical software systems;
- operating systems;
- OSs;
20.Functional term rewriting systems towards symbolic model-checking

机译：功能术语重写系统，用于符号模型检查
- 作者：Yohan Boichut;Jean-Michel Couvreur;Duy-Tung Nguyen
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
- model-checking;
- verification;
- acceleration techniques;
- rewriting;
21.Editorial

机译：社论
- 作者：Kamel Barkaoui;Bruno Monsuez;Denis Poitrenaud
- 期刊名称：《International journal of critical computer-based systems》 | 2011年第4期
22.Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay

机译：实时系统的多核调度，其中一个核永久失效并带有检测延迟
- 作者：Yves Mouafo Tchinda;Annie Choquet-Geniet;Gaëlle Largeteau-Skapin
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第4期
- failure tolerance;
- multicore architecture;
- task re-execution;
- pfair scheduling;
- dynamic reconfiguration;
- idle time distribution;
- aperiodic flow;
23.Performance evaluation of stochastic real-time systems with the SBIP framework

机译：使用SBIP框架进行随机实时系统的性能评估
- 作者：Ayoub Nouri;Braham Lotfi Mediouni;Marius Bozga;Jacques Combaz;Saddek Bensalem;Axel Legay
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第4期
- stochastic systems;
- real-time;
- component-based;
- formal models;
- generalised semi-Markov process;
- GSMP;
- behaviour interaction priority;
- BIP;
- statistical model checking;
- SMC;
- performance evaluation;
24.Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres

机译：云计算数据中心M / G / c / c + r排队系统的性能分析
- 作者：Assia Outamazirt;Mohamed Escheikh;Djamil Aïssani;Kamel Barkaoui;Ouiza Lekadir
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第4期
- cloud computing;
- performance analysis;
- M/G/c/c + r queue;
- embedded Markov chain;
- EMC;
- transition-probability matrix;
25.A model-based approach to combine conformance and load tests: an eHealth case study

机译：基于模型的方法将一致性测试和负载测试相结合：eHealth案例研究
- 作者：Moez Krichen;Afef Jmal Maâlej;Mariam Lahami
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第4期
- model-based software testing;
- conformance/load tests;
- extended timed automata;
- test generation;
- real-time systems;
26.Precise use cases in a context-aware model-checking approach

机译：上下文感知模型检查方法中的精确用例
- 作者：Amel Benabbou;Safia Nait-Bahloul;Philippe Dhaussy
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第4期
- model-checking;
- context;
- use cases;
- interaction overview diagram;
- IOD;
- context-aware verification;
27.Formal probabilistic performance verification of randomly-scheduled wireless sensor networks

机译：随机调度无线传感器网络的形式概率性能验证
- 作者：Maissa Elleuch;Osman Hasan;Sofiène Tahar;Mohamed Abid
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第4期
- theorem proving;
- wireless sensor networks;
- WSN;
- node scheduling;
- performance analysis;
- network lifetime;
- intrusion coverage;
28.Fault diagnosis of discrete-event systems based on the symbolic observation graph

机译：基于符号观测图的离散事件系统故障诊断
- 作者：Abderraouf Boussif;Mohamed Ghazel;Kais Klai
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第2期
- fault diagnosis;
- discrete-event systems;
- diagnosability analysis;
- diagnoser;
- symbolic observation graph;
- on-the-fly verification;
29.Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking

机译：使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
- 作者：Abderraouf Boussif;Mohamed Ghazel
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第2期
- discrete-event systems;
- fault diagnosis;
- diagnosability analysis;
- intermittent faults;
- model checking;
30.Model-based specification and validation of the dual-mode adaptive MAC protocol

机译：基于模型的双模式自适应MAC协议的规范和验证
- 作者：Admar Ajith Kumar Somappa;Lars M. Kristensen;Andreas Prinz
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第2期
- verification;
- validation;
- simulation;
- deployment;
- industrial wireless sensor network;
- MAC protocol;
- Uppaal;
31.A formal model for the analysis and verification of a pre-emptive round-robin arbiter

机译：抢先式循环仲裁器的分析和验证的正式模型
- 作者：Imene Ben Hafaiedh;Maroua Ben Slimane;Riadh Robbana
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第2期
- bus arbitration;
- round-robin;
- multiprocessor system-on-a-chips;
- MPSoCs;
- formal verification;
- deadlock-freedom;
- timing constraints;
32.Using temporal logics for specifying weak memory consistency models

机译：使用时间逻辑指定弱存储器一致性模型
- 作者：Maximilian Senftleben;Klaus Schneider
- 期刊名称：《International journal of critical computer-based systems》 | 2018年第2期
- weak memory model;
- memory model;
- weak memory consistency;
- memory consistency;
- weak consistency;
- memory specification;
- specification;
- temporal logic;
- model checking;
- verification;
- LTL;
33.Fully encrypted high-speed microprocessor architecture: the secret computer in simulation

机译：完全加密的高速微处理器架构：仿真中的秘密计算机
- 作者：Peter T. Breuer;Jonathan P. Bowen
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- computer security;
- encrypted computing;
34.Formal methods in dynamic software updating: a survey

机译：动态软件更新中的正式方法：调查
- 作者：Razika Lounas;Mohamed Mezghiche;Jean-Louis Lanet
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- dynamic software updating;
- DSU;
- formal methods;
- correctness criteria;
- critical systems;
- systems safety;
- code update;
- data update;
- update timing;
- semantical correctness;
35.AltaRica 3.0 in ten modelling patterns

机译：十种建模模式中的AltaRica 3.0
- 作者：Michel Batteux;Tatiana Prosvirnova;Antoine B. Rauzy
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- probabilistic risk and safety assessment;
- modelling languages;
- modelling patterns;
- AltaRica 30;
36.A versatile approach for ranking and modelling of non-functional requirements

机译：用于对非功能需求进行排名和建模的通用方法
- 作者：Harsimran Kaur;Ashish Sharma
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- non-functional requirements;
- NFRs;
- software requirement specification;
- SRS;
- use case;
- reference model;
- interpretive structural modelling;
- ISM;
- formal modelling;
37.A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B

机译：一种基于STPA和Event-B的确保关键基础设施的安全性的方法
- 作者：Giles Howard;Michael Butler;John Colley;Vladimiro Sassone
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
38.Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study

机译：复杂工业控制系统补丁管理的国际标准和最佳实践调查：粒子加速器的关键基础架构案例研究
- 作者：Ugo Gentile;Luigi Serio
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
39.Iterative integration of TTEthernet network flows

机译：TTEthernet网络流的迭代集成
- 作者：Sofiene Beji;Sardaouna Hamadou;John Mullins;Abdelouahed Gherbi
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第3期
- TTEthernet;
- iterative integration;
- scheduling;
- real-time systems;
40.A challenge-based countermeasure against the spoofed PS-Poll-based DoS attack in IEEE 802.11 networks

机译：针对IEEE 802.11网络中基于欺骗性PS-Poll的DoS攻击的基于挑战的对策
- 作者：Hocine Souilah;Abderrahmane Baadache;Louiza Bouallouche-Medjkoune
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第3期
- IEEE 80211;
- power save mode;
- PSM;
- PS-Poll;
- DoS attack;
- prime factorisation;
41.Design, implementation, and assessment of a usable multi-biometric continuous authentication system

机译：设计，实施和评估可用的多生物连续认证系统
- 作者：Enrico Schiavone;Andrea Ceccarelli;Ariadne Carvalho;Andrea Bondavalli
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第3期
- continuous authentication;
- biometrics;
- security;
- usability;
- identity verification;
- multi-biometric;
- transparent;
- face;
- fingerprint;
- keystroke;
- prototype;
- assessment;
- design;
- implementation;
42.Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging

机译：服务器虚拟化系统的性能建模和分析受工作量依赖的软件老化的影响
- 作者：Mohamed Escheikh;Zayneb Tayachi;Kamel Barkaoui
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第3期
43.A versatile approach for ranking and modelling of non-functional requirements

机译：用于排名和建模非功能性要求的多功能方法
- 作者：Harsimran Kaur;Ashish Sharma
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- non-functional requirements;
- NFRs;
- software requirement specification;
- SRS;
- use case;
- reference model;
- interpretive structural modelling;
- ISM;
- formal modelling;
44.Fully encrypted high-speed microprocessor architecture: the secret computer in simulation

机译：完全加密的高速微处理器架构：仿真中的秘密计算机
- 作者：Peter T. Breuer;Jonathan P. Bowen
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- computer security;
- encrypted computing;
45.A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B

机译：一种基于STPA和Event-B的关键基础设施的安全性和安全性的方法
- 作者：Giles Howard;Michael Butler;John Colley;Vladimiro Sassone
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
46.Formal methods in dynamic software updating: a survey

机译：动态软件更新中的正式方法：调查
- 作者：Razika Lounas;Mohamed Mezghiche;Jean-Louis Lanet
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- dynamic software updating;
- DSU;
- formal methods;
- correctness criteria;
- critical systems;
- systems safety;
- code update;
- data update;
- update timing;
- semantical correctness;
47.Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study

机译：复杂产业控制系统补丁管理国际标准及最佳实践调查：粒子加速器案例研究的关键基础设施
- 作者：Ugo Gentile;Luigi Serio
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
48.AltaRica 3.0 in ten modelling patterns

机译：ALTARICA 3.0以十个建模模式
- 作者：Michel Batteux;Tatiana Prosvirnova;Antoine B. Rauzy
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第2期
- probabilistic risk and safety assessment;
- modelling languages;
- modelling patterns;
- AltaRica 30;
49.Securing the weak link of federated systems via trusted execution: a case study from the eHealth domain

机译：通过可信任执行来保护联邦系统的弱链路：eHealth域的案例研究
- 作者：Luigi Coppolino;Salvatore DAntonio;Giovanni Mazzeo;Luigi Romano;Luigi Sgaglione
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第4期
- federated systems;
- heterogeneity;
- trusted execution;
- eHealth;
- Open National Contact Point;
- OpenNCP;
- Intel SGX;
50.Soft error sensitivity and vulnerability of languages and their implementations

机译：语言的软错误敏感性和漏洞及其实施
- 作者：Frederico Cerveira;Alcides Fonseca;Raul Barbosa;Henrique S. Madeira
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第4期
- programming languages;
- soft errors;
- dependability;
- fault injection;
- vulnerability;
- sensitivity;
- compilers;
- interpreters;
- backends;
51.Extending a re-identification risk-based anonymisation framework and evaluating its impact on data mining classifiers

机译：扩展了重新识别基于风险的匿名框架并评估其对数据挖掘分类器的影响
- 作者：Tania Basso;Hebert Silva;Regina Moraes
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第4期
- privacy;
- data mining;
- data anonymisation;
- re-identification risk;
- k-anonymity;
- personally identifiable information;
- data leakage;
- privacy attack;
- data utility;
- de-anonymisation;
52.Timed CTL checking of time critical cloud applications using timed bigraphs

机译：定时CTL使用定时大型云应用程序的CTL检查
- 作者：Fateh Latreche;Faiza Belala
- 期刊名称：《International journal of critical computer-based systems》 | 2019年第4期
- time critical cloud applications;
- bigraphical reactive systems;
- BRSs;
- Real-Time Maude;
- TCTL model checking;
53.Applying guidelines for system modelling in Event-B-a systematic literature review

机译：应用Event-B-A系统文献综述系统建模指导
- 作者：Marta Olszewska;Fatima Shokri-Manninen;Andrew Edmunds;Marina Waldén
- 期刊名称：《International journal of critical computer-based systems》 | 2020年第1期
- Event-B;
- formal modelling;
- guidelines;
- lessons learned;
- practitioners;
- beginners level;
- advanced level;
- quality assurance;
54.Correctness enhancement: a pervasive software engineering paradigm

机译：正确性增强：普遍存在软件工程范式
- 作者：Besma Khaireddine;Marwa Ben AbdelAli;Lamia Labed Jilani;Aleksandr Zakharchenko;Ali Mili
- 期刊名称：《International journal of critical computer-based systems》 | 2020年第1期
55.A security metric for assessing the security level of critical infrastructures

机译：用于评估关键基础架构安全级别的安全性指标
- 作者：Andrea Tortorelli;Andrea Fiaschetti;Alessandro Giuseppi;Vincenzo Suraci;Roberto Germanà;Francesco Delli Priscoli
- 期刊名称：《International journal of critical computer-based systems》 | 2020年第1期
- security metrics;
- critical infrastructures;
- cyber-physical systems;
- CPSs;
- cyber-physical security;
56.Securing personal identity using blockchain

机译：Securing personal identity using blockchain
- 作者：Mohith C. Shekar;H.L. Gururaj;Francesco Flammini
- 期刊名称：《International journal of critical computer-based systems》 | 2022年第3期
- Ethereum;
- identity;
- IPFS;
- authentication;
- security;
- trust;
- smart contract;
57.Formal modelling and verification of high interactive honeypot using coloured Petri nets

机译：Formal modelling and verification of high interactive honeypot using coloured Petri nets
- 作者：Sheetal Gokhale;Irfan Siddavatam;Ashwini DalviMohammed ShaikhSuchitra Patil
- 期刊名称：《International journal of critical computer-based systems》 | 2022年第3期
- honeypot;
- coloured petri net;
- CPN;
- formal analysis;
- cowrie;
58.Towards a hybrid formal analysis technique for safety-critical software architectures

机译：Towards a hybrid formal analysis technique for safety-critical software architectures
- 作者：Ammar Boucherit;Laura M. Castro;Osman HasanAbdallah Khababa
- 期刊名称：《International journal of critical computer-based systems》 | 2021年第2期
- model-checking? safety-critical systems? software architecture? property-based testing? rewriting lo;
59.Towards compositional verification of synchronous reactive systems

机译：Towards compositional verification of synchronous reactive systems
- 作者：Sarah Chabane;Rabéa Ameur-Boulifa;Mezghiche Mohamed
- 期刊名称：《International journal of critical computer-based systems》 | 2021年第2期
- rigorous system design? component-based design? formal verification? correctness-by-construction;
60.Deep learning models for multi-class malware classification using Windows exe API calls

机译：Deep learning models for multi-class malware classification using Windows exe API calls
- 作者：Kakelli Anil Kumar;Kaustubh Kumar;Nag Lohith Chiluka
- 期刊名称：《International journal of critical computer-based systems》 | 2022年第3期
- metamorphic malware;
- gated recurrent unit;
- GRU;
- CNN + LSTM;
- deep learning models;
- malware classification;
- Windows exe API calls;
- SVM;
- random forest;
- XGBoost;
- decision tree;
61.Abstract executions of stochastic discrete event systems

机译：Abstract executions of stochastic discrete event systems
- 作者：Michel Batteux;Tatiana Prosvirnova;Antoine B. Rauzy
- 期刊名称：《International journal of critical computer-based systems》 | 2022年第3期
- stochastic discrete event systems;
- timed and hybrid automata;
- abstract intepretation;
- AltaRica 30;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号