Sortiert nach
Reachability Problems, 2017, Vol.10506, p.42-58
2017
Link zum Volltext
The Journal of systems and software, 2006-10, Vol.79 (10), p.1456-1468
2006
Link zum Volltext
IEEE transactions on automatic control, 2012-07, Vol.57 (7), p.1752-1764
2012
- Link zum Volltext
Formal Modeling and Analysis of Timed Systems, 2005, p.211-225
2005
Link zum Volltext
Formal Methods, p.445-462
Link zum Volltext
Automated Technology for Verification and Analysis, p.235-241
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-11, Vol.196 (Proc. MARS 2015), p.37-45
2015
Link zum Volltext
Formal methods in system design, 2012-02, Vol.40 (1), p.88-115
2012
Link zum Volltext
International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.131-145
2024
Link zum Volltext
Advances in Information Security and Assurance, p.21-30
Link zum Volltext
Automated Technology for Verification and Analysis, p.201-218
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, p.33-47
Link zum Volltext
IEEE systems journal, 2018-06, Vol.12 (2), p.1667-1678
2018
- Link zum Volltext
ACM transactions on embedded computing systems, 2017-11, Vol.16 (4), p.1-24
2017
Link zum Volltext
Theoretical computer science, 2016-06, Vol.631, p.16-42
2016
Link zum Volltext
Automated Technology for Verification and Analysis, p.129-145
Link zum Volltext
International journal of control, 2015-02, Vol.88 (2), p.217-236
2015
Link zum Volltext
Theoretical computer science, 2013-02, Vol.474, p.1-20
2013
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, p.1-13
Link zum Volltext
Automated Technology for Verification and Analysis, p.146-162
Link zum Volltext
2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.195-204
2011
- Link zum Volltext
Automated Technology for Verification and Analysis, 2014, p.1-17
2014
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Model Check
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Engineering
- Software Engineering
- Timed Automata
- Automata
- Software
- Winning Strategy
- Engineering, Electrical & Electronic
- Fault Diagnosis
- Temporal Logic
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE/IET Electronic Library
- EZB-FREE-00999 freely available EZB journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley Online Library All Obooks
- Taylor & Francis Current Content Access
- JSTOR
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Ieee Sensors Journal
- Acm Transactions On Embedded Computing Systems
- Electronic Notes In Theoretical Informatics And Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Formal Methods In System Design
- Ieee Systems Journal