Sortiert nach
Software and systems modeling, 2022-04, Vol.21 (2), p.667-716
2022
Volltextzugriff (PDF)
Formal aspects of computing, 2009-02, Vol.21 (1-2), p.3-32
2009
Volltextzugriff (PDF)
Formal aspects of computing, 2013, Vol.25 (1), p.37-57
2013
Volltextzugriff (PDF)
Formal aspects of computing, 2014-07, Vol.26 (4), p.795-823
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.200-216
2006
Volltextzugriff (PDF)
Software and systems modeling, 2005-07, Vol.4 (3), p.277-296
2005
Volltextzugriff (PDF)
Acta informatica, 2011-12, Vol.48 (7-8), p.363-396
2011
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2005-06, Vol.7 (3), p.248-267
2005
Volltextzugriff (PDF)
Acta informatica, 2011-12, Vol.48 (7-8), p.363
2011
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2008, p.141-155
Volltextzugriff (PDF)
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), 2016, p.1-6
2016
Volltextzugriff (PDF)
FM 2011: Formal Methods, p.246-261
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2003, p.144-166
2003
Volltextzugriff (PDF)
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 2015, p.40-46
2015
Volltextzugriff (PDF)
Formal aspects of computing, 1998-03, Vol.10 (3), p.267-289
1998
Volltextzugriff (PDF)
Formal Methods and Hybrid Real-Time Systems, p.300-319
Volltextzugriff (PDF)
Formal Methods and Hybrid Real-Time Systems, p.414-434
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2010, p.137-152
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2005-07, Vol.137 (2), p.45-66
2005
Volltextzugriff (PDF)
2014 9th International Conference on System of Systems Engineering (SOSE), 2014, p.113-118
2014
Volltextzugriff (PDF)
2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.315-319
2010
Volltextzugriff (PDF)
2011 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011, p.55-64
2011
Volltextzugriff (PDF)
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009, p.47-54
2009
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software
- Programming Languages
- Refinement
- Software Engineering
- Algebra
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Integration
- Original Article
- Theory Of Computation
- Utp
- Verification
- Computational Modeling
Kollektion
Zeitschrift / Serie
- Formal Aspects Of Computing
- Acta Informatica
- Software And Systems Modeling
- Electronic Notes In Theoretical Computer Science
- Formal Methods And Software Engineering
- Formal Methods And Software Engineering, Proceedings
- International Journal On Software Tools For Technology Transfer
- Lecture Notes In Computer Science