Sortiert nach
1, 1999
Volltextzugriff (PDF)
Runtime Verification, p.264-273
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.256-272
Volltextzugriff (PDF)
2010 edition, 2010
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.579-595
Volltextzugriff (PDF)
Bell Labs technical journal, 2009-09, Vol.14 (3), p.167-185
2009
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.207-222
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, p.157-173
Volltextzugriff (PDF)
Formal methods in system design, 2010-12, Vol.37 (2-3), p.93-94
2010
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.806-809
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.532-546
Volltextzugriff (PDF)
Model Checking Software, p.1-1
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.1-15
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, p.14-21
2002
Volltextzugriff (PDF)
Formal aspects of computing, 2011-11, Vol.23 (6), p.681
2011
Volltextzugriff (PDF)
Formal aspects of computing, 2011-11, Vol.23 (6), p.681-681
2011
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.547-562
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.354-369
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.89-105
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1997-03, Vol.19 (2), p.253-291
1997
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.692-707
Volltextzugriff (PDF)
Formal aspects of computing, 2011, Vol.23 (6), p.681-681
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Humans
- Life Sciences & Biomedicine
- Model Check
- Male
- Software
- Software Engineering
- Female
- Model Checking
- Theoretical Computing
- Abstract Interpretation
- Neurosciences
- Neurosciences & Neurology
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Electronic Journals Library
- MEDLINE
- LWW Total
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- IngentaConnect Journals
- ACM Digital Library
- Wiley-Blackwell Journals
- Oxford Journals
- NUS Single-Journal Subscriptions
- Access via ScienceDirect (Elsevier)
- Oxford Journals 2020 Medicine
- Wiley Online Library Full Collection 2018
- IEL
- Springer Nature - Connect here FIRST to enable access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
Zeitschrift / Serie
- Formal Aspects Of Computing
- Bell Labs Technical Journal
- Brain Imaging And Behavior
- Chest
- Electronic Notes In Theoretical Computer Science
- Journal Of Bone And Mineral Research
- Journal Of Neuropathology And Experimental Neurology
- Plos One
- Scientific Reports
- Acm Transactions On Programming Languages And Systems
Neu hinzugefügt