56 citations
- A. Alikhanyan National LaboratoryAM2 papers
- Centro Ricerche Enrico FermiIT2 papers
- GFZ Helmholtz Centre for GeosciencesDE2 papers
- Sapienza University of RomeIT2 papers
- The University of Texas at AustinUS2 papers
- University of OxfordGB2 papers
- University of SalentoIT2 papers
- Yerevan State UniversityAM2 papers
- Asheville–Buncombe Technical Community CollegeUS1 paper
- BAE Systems (United States)US1 paper
- Chalmers University of TechnologySE1 paper
- Eindhoven University of TechnologyNL1 paper
Showing 2020Show all
2 papers · 1 filter
cs.FL2020
Conversion of LSAT behavioral specifications to automata
Sander Thuijsman, Michel Reniers
The Logistics Specification and Analysis Tool (LSAT) is a model-based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system…
eess.SY2020
Temperature-Dependent Modeling of Thermoelectric Elements
Enzo Evers, Rens Slenders, Rob van Gils +1
Active thermal control is crucial in achieving the required accuracy and throughput in many industrial applications, e.g., in the medical industry, high-power lighting industry, an…