Sortiert nach
Formal methods in system design, 2021-10, Vol.58 (1-2), p.160-187
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.16-29
2014
Link zum Volltext
Science of computer programming, 2014-02, Vol.81, p.1-2
2014
Link zum Volltext
International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.187-203
2017
Link zum Volltext
Software Engineering and Formal Methods, p.199-214
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.193-201
Link zum Volltext
NASA Formal Methods, 2018, Vol.10811, p.244-260
2018
Link zum Volltext
Formal Methods: Foundations and Applications, p.1-16
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.183-197
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.202-204
Link zum Volltext
Formal Methods and Software Engineering, p.504-520
Link zum Volltext
Software, practice & experience, 2011-02, Vol.41 (2), p.189-198
2011
Link zum Volltext
Formal Methods – The Next 30 Years, p.519-535
Link zum Volltext
Fundamental Approaches to Software Engineering, p.50-64
Link zum Volltext
ABZ 2014: The Landing Gear Case Study, p.66-79
Link zum Volltext
B 2007: Formal Specification and Development in B, 2006, p.266-269
2006
Link zum Volltext
Lecture notes in computer science, 2006, p.270-273
2006
Link zum Volltext
Testing of Software and Communication Systems, p.179-194
Link zum Volltext
Formal Methods Applied to Complex Systems, 2014, p.427-446
2014
Link zum Volltext
B 2007: Formal Specification and Development in B, p.270-273
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
- Computer Science, Software Engineering
- B-Method
- Event-B
- Formal Methods
- Model Checking
- Engineering
- Software
- Software Engineering
- Animation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Landing Gear
- Ltsmin
- Prob
- Software Engineering/programming And Operating Systems
Kollektion
- IngentaConnect
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- SpringerNature Journals
- Wiley-Blackwell Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- Wiley Online Library Full Collection 2018
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library All Obooks
Zeitschrift / Serie