Treffer 1 - 1 von 1 für Suche 'Sucu, Burkay', Suchdauer: 0,33s
Treffer weiter einschränken
-
1
Cycle encoding-based parameter synthesis for timed automata safety von Sucu, Burkay, Aydin Gol, Ebru
Veröffentlicht in Acta informatica
VolltextArtikel
Suchwerkzeuge:
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.- Algorithms 1 Treffer 1
- Benchmarks 1 Treffer 1
- Clocks & Watches 1 Treffer 1
- Computer Science 1 Treffer 1
- Computer Science, Information Systems 1 Treffer 1
- Computer Systems Organization And Communication Networks 1 Treffer 1
- Constraints 1 Treffer 1
- Data Structures And Information Theory 1 Treffer 1
- Information Systems And Communication Service 1 Treffer 1
- Integer Programming 1 Treffer 1
- Linear Programming 1 Treffer 1
- Logics And Meanings Of Programs 1 Treffer 1
- Mixed Integer 1 Treffer 1
- Nonlinear Programming 1 Treffer 1
- Original Article 1 Treffer 1
- Parameter Uncertainty 1 Treffer 1
- Science & Technology 1 Treffer 1
- Software Engineering/Programming And Operating Systems 1 Treffer 1
- Specifications 1 Treffer 1
- Synthesis 1 Treffer 1
- Proquest Central (Alumni) 1 Treffer 1
- Proquest Central Uk/Ireland 1 Treffer 1
- Proquest Central Essentials 1 Treffer 1
- Proquest Central 1 Treffer 1
- Proquest One Community College 1 Treffer 1
- Proquest Central Korea 1 Treffer 1
- Proquest Central Student 1 Treffer 1
- Ingentaconnect 1 Treffer 1
- Springerlink Journals - Autoholdings 1 Treffer 1