Top

Formal Aspects of Computing

Published in:

01-12-2000 | Original Paper

Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine

Authors: R. M. Hierons, M. Harman

Published in: Formal Aspects of Computing | Issue 6/2000

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article What are X-Machines?

next article Generating Test Sets from Non-Deterministic Stream X-Machines

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

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

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

inform now

Title: Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine
Authors: R. M. Hierons
M. Harman
Publication date: 01-12-2000
Publisher: Springer-Verlag London Limited
Published in: Formal Aspects of Computing / Issue 6/2000
Print ISSN: 0934-5043
Electronic ISSN: 1433-299X
DOI: https://doi.org/10.1007/s001650070003

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 6/2000

Generating Test Sets from Non-Deterministic Stream X-Machines

A Structured Way to Use Channels for Communication in X-Machine Systems

Generalised Stream X-Machines with Output Delimited Type

Generalised Stream X-Machines and Cooperating Distributed Grammar Systems

What are X-Machines?

Editorial

Premium Partner