Sortiert nach
FM 2016: Formal Methods, p.559-576
Link zum Volltext
Formal aspects of computing, 2019-04, Vol.31 (2), p.261-285
2019
Link zum Volltext
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.166-182
2015
Link zum Volltext
Acta astronautica, 2018-10, Vol.151, p.726-735
2018
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-03, Vol.145 (Proc. SynCoP 2014), p.19-33
2014
Link zum Volltext
Information and computation, 2013-03, Vol.224, p.46-70
2013
Link zum Volltext
Principles of Security and Trust, p.163-185
Link zum Volltext
Semantics, Logics, and Calculi, 2016, Vol.9560, p.214-235
2016
Link zum Volltext
Foundations of Software Science and Computation Structures, p.353-369
Link zum Volltext
Cyber Physical Systems. Design, Modeling, and Evaluation, 2015, Vol.9361, p.83-98
2015
Link zum Volltext
Quantitative Evaluation of Systems, p.141-159
Link zum Volltext
CONCUR 2011 – Concurrency Theory, p.140-155
Link zum Volltext
Leibniz transactions on embedded systems, 2017-02, Vol.4 (1), p.04:1-04:28
2017
Link zum Volltext
CONCUR 2014 – Concurrency Theory, p.249-265
Link zum Volltext
CONCUR 2010 - Concurrency Theory, p.207-221
Link zum Volltext
Journal of systemics, cybernetics and informatics, 2014-08, Vol.12 (4), p.59-63
2014
Link zum Volltext
Procedia, social and behavioral sciences, 2013-12, Vol.106, p.543-550
2013
Link zum Volltext
Computer Safety, Reliability, and Security, p.266-280
Link zum Volltext
2018 5th International Conference on Systems and Informatics (ICSAI), 2018, p.1277-1281
2018
- Link zum Volltext
Proceedings of the 14th international conference on hybrid systems: computation and control, 2011, p.33-42
2011
Link zum Volltext
2018 3rd International Conference on Intelligent Green Building and Smart Grid (IGBSG), 2018, p.1-3
2018
Link zum Volltext
2018 7th International Symposium on Next Generation Electronics (ISNE), 2018, p.1-4
2018
- Link zum Volltext
2021 Smart City Symposium Prague (SCSP), 2021, p.1-5
2021
Link zum Volltext
2017 Smart City Symposium Prague (SCSP), 2017, p.1-3
2017
Link zum Volltext
Procedia, social and behavioral sciences, 2012-10, Vol.55, p.963-970
2012
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Vehicles
- Buildings
- Computer Science, Information Systems
- Continuous Time Markov Chain
- Energy Harvesting
- Engineering
- Label Transition System
- Markov Decision Process
- Monitoring
- Software Engineering
- Acoustics
- Basic Event
- Batteries
- Cameras
- Continuous Time Stochastic Systems
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- IEEE Electronic Library (IEL)
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Springer Books
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Sociological Abstracts
- IngentaConnect Journals
- JSTOR Complete Journals
- Taylor & Francis eBooks A-Z
Zeitschrift / Serie
- Procedia, Social And Behavioral Sciences
- 3rd International Conference On New Horizons In Education - Inte 2012
- Acta Astronautica
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Information And Computation
- International Journal Of Electrical Power & Energy Systems
- Journal Of Systemics, Cybernetics And Informatics
- Leibniz Transactions On Embedded Systems