default search action
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal"
- exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics"
- boolean and: separate words by space
e.g., codd model
- boolean or: connect words by pipe symbol (|)
found 2 matches
- Florentin Ipate, Dimitris Dranidis:
A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects Comput. 28(1): 1-20 (2016)
- Kirill Bogdanov:
Testing from X-Machine Specifications. Formal Methods and Testing 2008: 184-208
loading more results
failed to load more results, please try again later
manage site settings