Home
Research Trends
Papers list
Open Access Journals
All Journals
Search in Journals
Contact us
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3
Article Properties
Language
English
DOI (url)
10.1007/s10009-008-0081-2
Publication Date
2008/04/30
Journal
International Journal on Software Tools for Technology Transfer
Indian UGC (journal)
Refrences
24
Ina
Schieferdecker
Juergen
Grossmann
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
A New Approach to Abstract Syntax with Variable Binding
Soundness of workflow nets: classification, decidability, and analysis
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
Synthesis of opaque systems with static and dynamic masks
Robust online monitoring of signal temporal logic
Refrences
Title
Journal
Journal Categories
Citations
Publication Date
10.1145/1138474.1138481
10.1007/BFb0020971
10.1109/ISoLA.2006.37
10.1007/978-0-387-35497-2_28
10.1007/978-3-322-81246-9
«
‹
1
2
3
4
5
›
»