FShell
From MaRDI portal
Software:26381
swMATH14481MaRDI QIDQ26381FDOQ26381
Author name not available (Why is that?)
Cited In (6)
- Calculating WCET estimates from timed traces
- An Introduction to Test Specification in FQL
- Information Reuse for Multi-goal Reachability Analyses
- Closure properties and complexity of rational sets of regular languages
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
- Mutation-Based Test Case Generation for Simulink Models
This page was built for software: FShell
