The influence of melted material proprieties over the characteristics of welded jointings made from steel OL 52.4K von I. Bozgă, I. Sărăcin, G. Paraschiv, O. Pandia, I. C. Andronie

Volltext

Researches on corrosion cracking phenomenonthat occurs on welded of agricultural equipment von I. Sărăcin, G. Paraschiv, O. Pandia, I. Bozgă, D. Toma

Volltext

"30 Years of Inspiring Academic Economic Research – From the Transition to Market Economy to the Interlinked Crises of 21st Century": Proceedings of the International Conference "E... von Authors

Volltext

Data-Driven Statistical Learning of Temporal Logic Properties von Bartocci, Ezio, Bortolussi, Luca, Sanguinetti, Guido

Volltext

Researches on corrosion cracking phenomenon that occurs on welded of agricultural equipment von Sărăcin, I, Paraschiv, G, Pandia, O, Bozgă, I, Toma, D

Volltext

Design and Control of Glycerol-tert-Butyl Alcohol Etherification Process von Vlad, Elena, Bildea, Costin Sorin, Bozga, Grigore

Volltext

The influence of melted material proprieties over the characteristics of welded jointings made from steel OL 52.4K von Bozgă, I, Sărăcin, I, Paraschiv, G, Pandia, O, Andronie, I. C

Volltext

Timed Pattern Matching von Ulus, Dogan, Ferrère, Thomas, Asarin, Eugene, Maler, Oded

Volltext

Modeling Bitcoin Contracts by Timed Automata von Andrychowicz, Marcin, Dziembowski, Stefan, Malinowski, Daniel, Mazurek, Łukasz

Volltext

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings von Legay, Axel, Bozga, Marius

Volltext

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Volltext

Combined Global and Local Search for the Falsification of Hybrid Systems von Kuřátko, Jan, Ratschan, Stefan

Volltext

On MITL and Alternating Timed Automata over Infinite Words von Brihaye, Thomas, Estiévenart, Morgane, Geeraerts, Gilles

Volltext

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications von Berthomieu, Bernard, Dal Zilio, Silvano, Fronc, Łukasz, Vernadat, François

Volltext

The Power of Proofs: New Algorithms for Timed Automata Model Checking von Fontana, Peter, Cleaveland, Rance

Volltext

Verification and Performance Evaluation of Timed Game Strategies von David, Alexandre, Fang, Huixing, Larsen, Kim Guldstrand, Zhang, Zhengkui

Volltext

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets von Viesmose Birch, Sine, Stig Jacobsen, Thomas, Jon Jensen, Jacob, Moesgaard, Christoffer, Nørgaard Samuelsen, Niels, Srba, Jiří

Volltext

Delay-Dependent Partial Order Reduction Technique for Time Petri Nets von Boucheneb, Hanifa, Barkaoui, Kamel, Weslati, Karim

Volltext

Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction von Stierand, Ingo, Reinkemeier, Philipp, Bhaduri, Purandar

Volltext

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices von Al-Bataineh, Omar, Reynolds, Mark, French, Tim

Volltext