Login / Signup
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.
Victor V. Kuliamin
Alexander K. Petrenko
Nick V. Pakoulin
Alexander S. Kossatchev
Igor B. Bourdonov
Published in:
Ershov Memorial Conference (2003)
Keyphrases
</>
concurrent systems
real time
petri net
temporal logic
distributed systems
transition systems
control system
activity monitoring
formal specification
process algebra
model checking
real time embedded systems
test cases
databases
database
information integration
real time systems
data sets