Sortiert nach
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.347-363
2024
Link zum Volltext
1. Aufl., 2010
Link zum Volltext
IEEE Communications surveys and tutorials, 2019-01, Vol.21 (4), p.3639-3681
2019
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.1-16
2016
Link zum Volltext
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.331-346
2024
Link zum Volltext
Science of computer programming, 2020-03, Vol.188, p.102378, Article 102378
2020
Link zum Volltext
Formal aspects of computing, 2015-03, Vol.27 (2), p.335-374
2015
Link zum Volltext
Critical care medicine, 2002-07, Vol.30 (7), p.1495-1498
2002
Link zum Volltext
Computer journal, 2019-12, Vol.62 (12), p.1707-1733
2019
Link zum Volltext
Formal Methods and Software Engineering, 2023, p.228-246
2023
Link zum Volltext
Rigorous State-Based Methods, 2020, p.367-381
2020
Link zum Volltext
Rigorous State-Based Methods, p.142-159
Link zum Volltext
Rigorous State-Based Methods, p.124-141
Link zum Volltext
International journal on software tools for technology transfer, 2020-06, Vol.22 (3), p.333-347
2020
Link zum Volltext
International journal on software tools for technology transfer, 2020-06, Vol.22 (3), p.349-363
2020
Link zum Volltext
Science of computer programming, 2014-11, Vol.94, p.217-237
2014
Link zum Volltext
2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, 2014, p.229-233
2014
- Link zum Volltext
Science of computer programming, 2016-12, Vol.131, p.76-93
2016
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.353-366
Link zum Volltext
Formal aspects of computing, 2018-08, Vol.30 (3-4), p.463-489
2018
Link zum Volltext
Theoretical Aspects of Software Engineering, 2022, Vol.13299, p.274-289
2022
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.262-276
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.55-70
Link zum Volltext
Rigorous State-Based Methods, 2020, p.223-229
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Software Engineering
- Information Systems
- Verification
- Refinement
- Software
- Alloy
- Life Sciences & Biomedicine
- Event-B
- Applied Sciences
- Astd
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theory Of Computation
- Access Control
- Proof Obligation
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Wiley Online Library All Obooks
- IEEE Electronic Library (IEL)
- Springer Online Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ScienceDirect Journals (5 years ago - present)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- MEDLINE
- Single Journals
- IngentaConnect Journals
- Sociological Abstracts
- Journals@Ovid Ovid Full Text
- Taylor & Francis Current Content Access
- Applied Social Sciences Index & Abstracts (ASSIA)
- Taylor & Francis:Master (3349 titles)
Zeitschrift / Serie
- Science Of Computer Programming
- Software And Systems Modeling
- Ingénierie Des Systèmes D'information
- International Journal On Software Tools For Technology Transfer
- Formal Aspects Of Computing
- Journal Of Obstetrics And Gynaecology Canada
- Santé Mentale Au Québec
- Journal Of Child Custody
- Journal Of Family Trauma, Child Custody & Child Development
- Journal Of Virology
Neu hinzugefügt