Real-time and hybrid systems testing

K. Berkenkotter, Raimund Kirner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
Original languageEnglish
Title of host publicationModel-Based Testing of Reactive Systems
Subtitle of host publicationAdvanced Lectures
EditorsM. Broy, B. Jonsson, J.P. Katoen, M. Leucker, A. Pretschner
Place of PublicationBERLIN
PublisherSpringer Nature
Number of pages33
ISBN (Electronic)978-3-540-32037-1
ISBN (Print)3-540-26278-4, 978-3-540-26278-7
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science

Cite this