Sortiert nach
Proceedings of the IEEE, 2015-11, Vol.103 (11), p.2104-2132
2015
- Link zum Volltext
Information and computation, 2022-11, Vol.289, p.104979, Article 104979
2022
Link zum Volltext
Information and computation, 2024-10, Vol.300, p.105189, Article 105189
2024
Link zum Volltext
International journal of robust and nonlinear control, 2014-03, Vol.24 (4), p.699-724
2014
Link zum Volltext
Nonlinear analysis. Hybrid systems, 2023-02, Vol.47, p.101266, Article 101266
2023
Link zum Volltext
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022, p.1-8
2022
Link zum Volltext
Microprocessors and microsystems, 2015-11, Vol.39 (8), p.836-842
2015
Link zum Volltext
IEEE robotics & automation magazine, 2011-09, Vol.18 (3), p.24-32
2011
- Link zum Volltext
Runtime Verification, p.336-345
Link zum Volltext
Advances in imaging and electron physics, 2011-01, Vol.168, p.1-63
2011
Link zum Volltext
International journal of robust and nonlinear control, 2014-03, Vol.24 (4), p.699-724
2014
Link zum Volltext
ACM transactions on cyber-physical systems, 2018-10, Vol.2 (4), p.1-29
2018
Link zum Volltext
Advances in Imaging and Electron Physics, 2011, Vol.168, p.1-63
2011
Link zum Volltext
Testing Software and Systems, p.313-319
Link zum Volltext
Numerical Software Verification, p.60-75
Link zum Volltext
2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2023, p.87-90
2023
- Link zum Volltext
IFAC-PapersOnLine, 2017, Vol.50 (1), p.9248-9253
2017
Link zum Volltext
2022 IEEE 23rd Latin American Test Symposium (LATS), 2022, p.1-5
2022
Link zum Volltext
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, p.1-11
2020
Link zum Volltext
IFAC Proceedings Volumes, 2012, Vol.45 (9), p.284-290
2012
Link zum Volltext
2014 17th Euromicro Conference on Digital System Design, 2014, p.659-662
2014
Link zum Volltext
2013 IEEE 18th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), 2013, p.139-143
2013
- Link zum Volltext
2012 15th Euromicro Conference on Digital System Design, 2012, p.469-476
2012
- Link zum Volltext
2011 7th International Wireless Communications and Mobile Computing Conference, 2011, p.1660-1665
2011
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Hybrid Systems
- Mathematics
- Physical Sciences
- Automation & Control Systems
- Hiv
- Hiv Infections - Drug Therapy
- Humans
- Mathematics, Applied
- Robotics
- Algorithms
- Automata
- Computer Science, Hardware & Architecture
- Formal Verification
- Hiv Infections - Virology
Kollektion
- Ingenta
- IEEE Xplore
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- SpringerLink Series
- IngentaConnect Journals
- Wiley Online Library
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Publisher or Other Site
- ScienceDirect eBooks
- SpringerLink (Online service)
Zeitschrift / Serie
Neu hinzugefügt