Hint

Swipe to navigate through the articles of this issue

01-11-2020 | Regular Paper | Issue 6/2020

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow

Journal:: Journal of Computer Science and Technology > Issue 6/2020

Authors:: Qian-Qian Lin, Shu-Ling Wang, Bo-Hua Zhan, Bin Gu

» Get access to the full-text

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 69.000 Bücher
über 500 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 58.000 Bücher
über 300 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 50.000 Bücher
über 380 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Maschinenbau + Werkstoffe

Testen Sie jetzt 30 Tage kostenlos.

inform now

Title: Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow
Authors:: Qian-Qian Lin
Shu-Ling Wang
Bo-Hua Zhan
Bin Gu
Publication date: 01-11-2020
DOI: https://doi.org/10.1007/s11390-020-0537-8
Publisher: Springer Singapore
Journal: Journal of Computer Science and Technology
Issue 6/2020
Print ISSN: 1000-9000
Electronic ISSN: 1860-4749

Premium Partner

Image Credits

Springer Professional

Hint

Swipe to navigate through the articles of this issue

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 6/2020

Retraction note: Edge-oriented spatial interpolation for error concealment of consecutive blocks

Automatic Buffer Overflow Warning Validation

Specification and Verification of the Zab Protocol with TLA+

ProSy: API-Based Synthesis with Probabilistic Model

Jupiter Made Abstract, and Then Refined

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY

Premium Partner