Sortiert nach
Science of computer programming, 2015-01, Vol.97, p.17-22
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-08, Vol.91 (Proc. FOCLASA 2012), p.97-111
2012
Link zum Volltext
Science of computer programming, 2016-01, Vol.115-116, p.127-145
2016
Link zum Volltext
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.36-55
2011
Link zum Volltext
2013 13th International Conference on Application of Concurrency to System Design, 2013, p.31-40
2013
- Link zum Volltext
2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2012, p.6-11
2012
- Link zum Volltext
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012, p.1-4
2012
- Link zum Volltext
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013, p.1-4
2013
- Link zum Volltext
Computer Performance Engineering, p.43-57
Link zum Volltext
Software Engineering and Formal Methods, p.101-112
Link zum Volltext
2013 IEEE International Conference on Automation Science and Engineering (CASE), 2013, p.1075-1082
2013
- Link zum Volltext
2013 European Control Conference (ECC), 2013, p.650-657
2013
- Link zum Volltext
2013 10th IEEE International Conference on Control and Automation (ICCA), 2013, p.816-821
2013
- Link zum Volltext
Formal Methods and Stochastic Models for Performance Evaluation, 2006, p.47-62
2006
Link zum Volltext
Algebraic Methodology and Software Technology, p.268-283
Link zum Volltext
Entertainment Computing – ICEC 2013, p.147-150
Link zum Volltext
IFAC Proceedings Volumes, 2012, Vol.45 (29), p.251-258
2012
Link zum Volltext
2012 IEEE International Conference on Automation Science and Engineering (CASE), 2012, p.680-685
2012
- Link zum Volltext
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012, p.5804-5809
2012
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2009-12, Vol.13
2009
Link zum Volltext
Computer Safety, Reliability, and Security, p.36-49
Link zum Volltext
21st Mediterranean Conference on Control and Automation, 2013, p.1092-1097
2013
- Link zum Volltext
Integrated Formal Methods, p.253-267
Link zum Volltext
2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, p.521-525
2015
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Supervisory Control
- Computer Science
- Controllability
- Automation & Control Systems
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Automata
- Delays
- Modeling
- Software
- Cost Accounting
- Computer Science, Software Engineering
- Markov Processes
- Stochastic Processes
- Supervisory Control Theory
- Algorithms
- Control Requirement
Kollektion