Found: 8
Select item for more details and to access through your institution.
P4Query: Static analyser framework for P4.
- Published in:
- Annales Mathematicae et Informaticae, 2023, v. 57, p. 49, doi. 10.33039/ami.2023.03.002
- By:
- Publication type:
- Article
Model Checking-Based Performance Prediction for P4.
- Published in:
- Electronics (2079-9292), 2022, v. 11, n. 14, p. N.PAG, doi. 10.3390/electronics11142117
- By:
- Publication type:
- Article
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm.
- Published in:
- Acta Cybernetica, 2022, v. 25, n. 4, p. 817, doi. 10.14232/actacyb.284280
- By:
- Publication type:
- Article
Component-Based Error Detection of P4 Programs.
- Published in:
- Acta Cybernetica, 2021, v. 25, n. 2, p. 537, doi. 10.14232/actacyb.289731
- By:
- Publication type:
- Article
Keeping P4 Switches Fast and Fault-free through Automatic Verification.
- Published in:
- Acta Cybernetica, 2019, v. 24, n. 1, p. 61, doi. 10.14232/actacyb.24.1.2019.6
- By:
- Publication type:
- Article
DEFINING C PREPROCESSOR MACRO LIBRARIES WITH FUNCTIONAL PROGRAMS.
- Published in:
- Computing & Informatics, 2016, v. 35, n. 4, p. 819
- By:
- Publication type:
- Article
Testing framework for embedded languages.
- Published in:
- Computer Science & Information Systems, 2013, v. 10, n. 4, p. 1647, doi. 10.2298/CSIS130115069L
- By:
- Publication type:
- Article
USING IMPACT ANALYSIS BASED KNOWLEDGE FOR VALIDATING REFACTORING STEPS.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2011, v. 56, n. 3, p. 57
- By:
- Publication type:
- Article