UB Paderborn / Katalog / Suche / in CDI

1 – 18 von 18

Sortiert nach

An integrated framework for checking the behaviour of fUML models using CSP

International journal on software tools for technology transfer, 2013-08, Vol.15 (4), p.375-396

2013

Volltextzugriff (PDF)

Formally Verifying Behaviour of fUml Models Using Csp

Abdelhalim, Islam E

2012

Volltextzugriff (PDF)

Formally Verifying Behaviour of fUML Models Using CSP

Abdelhalim, Islam E

2012

Volltextzugriff (PDF)

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP

Formal Methods and Software Engineering, p.33-48

Volltextzugriff (PDF)

An Optimization Approach for Effective Formalized fUML Model Checking

Software Engineering and Formal Methods, p.248-262

Volltextzugriff (PDF)

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP

Formal Methods and Software Engineering, p.371-387

Volltextzugriff (PDF)

A reconfigurable class-F radio frequency voltage doubler from 650 MHz to 900 MHz for energy harvesting applications

Alexandria engineering journal, 2022-10, Vol.61 (10), p.8277-8287

2022

Volltextzugriff (PDF)

Sa1384 VONOPRAZAN-AMOXICILLIN DUAL THERAPY VERSUS BISMUTH-BASED QUADRUPLE THERAPY FOR TREATMENT OF HELICOBACTER PYLORI INFECTION: A SYSTEMATIC REVIEW AND META-ANALYSIS

Gastroenterology (New York, N.Y. 1943), 2024-05, Vol.166 (5), p.S-439-S-439

2024

Volltextzugriff (PDF)

PREVALENCE OF LESIONS PREDISPOSING TO ANEMIA IN THE UPPER GASTROINTESTINAL TRACT IN END-STAGE RENAL DISEASE PATIENTS: A SYSTEMATIC REVIEW AND META-ANALYSIS

Gastrointestinal endoscopy, 2024-06, Vol.99 (6), p.AB1149-AB1150

2024

Volltextzugriff (PDF)

Implementing Lossy Compression Technique for Video Codecs

International journal of computer applications, 2015-12, Vol.131 (7), p.44-51

2015

Volltextzugriff (PDF)

The Egyptian journey from having the highest prevalence of hepatitis C virus to being the first to achieve “gold tier” in conquering the disease

Proceedings - Baylor University. Medical Center, 2024-07, p.1-7

2024

Volltextzugriff (PDF)

Measurement of Telephone Line Parameters using the Three Voltmeter Method

International journal of computer applications, 2014-12, Vol.107 (11), p.35-41

2014

Volltextzugriff (PDF)

The Impact of Digital Transformation on Income Distribution and Job Creation - The Jordanian Economy Case

Artificial Intelligence (AI) and Finance, p.262-271

Volltextzugriff (PDF)

Digital Services Trade: A Quantitative Study of the Relationship Between Income and Imports of Services

Artificial Intelligence (AI) and Finance, p.187-196

Volltextzugriff (PDF)

The Effect of Technological Innovation on Economic Growth: The Jordanian Economy Case

Artificial Intelligence (AI) and Finance, p.359-367

Volltextzugriff (PDF)

The Role of Intellectual Capital in the Production System and Economic Power in Light of Digital Transformations

Artificial Intelligence (AI) and Finance, p.484-494

Volltextzugriff (PDF)

Jordanian Imports: Income and Price Elasticity of Demand

Artificial Intelligence (AI) and Finance, p.744-752

Volltextzugriff (PDF)

Performance evaluation of digital modulation techniques used in Bluetooth physical/radio layer

2012 Seventh International Conference on Computer Engineering & Systems (ICCES), 2012, p.1-7

2012

Volltextzugriff (PDF)

1 – 18 von 18

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(8)
Mit Volltextzugriff
(16)

Publikationsform

Sprache

Englisch
(18)

Erscheinungsjahr

n.n

Thema

Computer Science
(5)
Science & Technology
(4)
Technology
(4)
Computer Science, Theory & Methods
(3)
Jordan
(3)
Model Check
(3)
Activity Diagram
(2)
Computer Science, Software Engineering
(2)
Engineering
(2)
Imports
(2)
Jordanian Economy
(2)
Systematic Review
(2)
Aggregate Import Demand
(1)
Ambient Electromagnetic Waves
(1)
Ardl
(1)
Asynchronous Communication
(1)
Bandwidth
(1)
Bit Error Rate
(1)
Bluetooth
(1)
Bound Test
(1)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

2 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

An integrated framework for checking the behaviour of fUML models using CSP

Formally Verifying Behaviour of fUml Models Using Csp

Formally Verifying Behaviour of fUML Models Using CSP

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP

An Optimization Approach for Effective Formalized fUML Model Checking

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP

A reconfigurable class-F radio frequency voltage doubler from 650 MHz to 900 MHz for energy harvesting applications

Sa1384 VONOPRAZAN-AMOXICILLIN DUAL THERAPY VERSUS BISMUTH-BASED QUADRUPLE THERAPY FOR TREATMENT OF HELICOBACTER PYLORI INFECTION: A SYSTEMATIC REVIEW AND META-ANALYSIS

PREVALENCE OF LESIONS PREDISPOSING TO ANEMIA IN THE UPPER GASTROINTESTINAL TRACT IN END-STAGE RENAL DISEASE PATIENTS: A SYSTEMATIC REVIEW AND META-ANALYSIS

Implementing Lossy Compression Technique for Video Codecs

The Egyptian journey from having the highest prevalence of hepatitis C virus to being the first to achieve “gold tier” in conquering the disease

Measurement of Telephone Line Parameters using the Three Voltmeter Method

The Impact of Digital Transformation on Income Distribution and Job Creation - The Jordanian Economy Case

Digital Services Trade: A Quantitative Study of the Relationship Between Income and Imports of Services

The Effect of Technological Innovation on Economic Growth: The Jordanian Economy Case

The Role of Intellectual Capital in the Production System and Economic Power in Light of Digital Transformations

Jordanian Imports: Income and Price Elasticity of Demand

Performance evaluation of digital modulation techniques used in Bluetooth physical/radio layer

Suchergebnisse filtern